Felice Balarin

• Hardware-software co-design of embedded systems
• Hardware-Software Co-Design of Embedded Systems
• Synchronous equivalence
• TLM-Driven Design and Verification Methodology
• TLM-Driven Design and Verification Methodology Ebook