Author of the publication

Segmented channel routability via satisfiability.

, , , , and . ACM Trans. Design Autom. Electr. Syst., 9 (4): 517-528 (2004)

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

A test case generation approach for conformance testing of SDL systems., , , and . Comput. Commun., 24 (3-4): 319-333 (2001)A class of fault-tolerant cellular permutation networks., , and . ICCD, page 136-139. IEEE, (1988)The Role of Model-Level Transactors and UML in Functional Prototyping of Systems-on-Chip: A Software-Radio Application., , and . DATE, page 698-703. IEEE Computer Society, (2005)General and Technical Program Chairs' Message., , , and . ICECS, page 1. IEEE, (2007)A New Algorithm for RNS Magnitude Comparison Based on New Chinese Remainder Theorem II., , and . Great Lakes Symposium on VLSI, page 362-. IEEE Computer Society, (1999)Optimal design of synchronous circuits using software pipelining techniques., , , and . ICCD, page 62-67. IEEE Computer Society, (1998)"Designing with SystemC: Multi-Paradigm Modeling and Simulation Performance Evaluation", , and . Proc. Intern. Hardware Description Language (HDL) Conference, page 33-45. (2002)A test case generation tool for conformance testing of SDL systems., , , and . SDL Forum, page 405-. Elsevier, (1999)Synthesis of interface controllers from timing diagram specifications., , and . CICC, page 89-92. IEEE, (1998)Transaction Level Modeling in Hardware/Software System Design using .Net Framework., , , and . CCECE, page 140-143. IEEE, (2006)