Author of the publication

Synthesis and Simulation of Digital Systems Containing Interacting Hardware and Software Components.

, , and . DAC, page 225-230. (1992)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Analysis and synthesis of concurrent digital circuits using control-flow expressions., and . IEEE Trans. on CAD of Integrated Circuits and Systems, 15 (8): 854-876 (1996)Dynamic scheduling and synchronization synthesis of concurrent digital systems under system-level constraints., and . ICCAD, page 175-181. IEEE Computer Society / ACM, (1994)Synthesis of Low-Power Selectively-Clocked Systems from High-Level Specification., , , and . ISSS, page 57-. ACM / IEEE Computer Society, (1996)Efficient Allocation of Verification Resources using Revision History Information., , , , and . DDECS, page 190-194. IEEE Computer Society, (2008)Dynamic Reconfiguration Behavior Using Generic FPGAs and FPIDs., , , , , and . SBCCI, page 289-. IEEE Computer Society, (2003)A fast SAT solver algorithm best suited to reconfigurable hardware., , and . SBCCI, page 131-136. ACM, (2006)Redesigning hardware-software systems., , , and . CODES, page 116-123. IEEE Computer Society, (1994)System-level partitioning with uncertainty., , , , and . CODES, page 198-202. ACM, (1999)SAT-Based Equivalence Checking Based on Circuit Partitioning and Special Approaches for Conflict Clause Reuse., , , and . DDECS, page 397-402. IEEE Computer Society, (2007)A biomedical wearable device for remote monitoring of physiological signals., , , , , and . ETFA (2), page 708-713. IEEE, (2003)0-7803-7937-3.