Author of the publication

Synthesis of Self-Testing Finite State Machines from High-Level Specifications.

, , and . ITC, page 757-766. IEEE Computer Society, (1996)

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

Fault simulation of unconventional faults in CMOS circuits., , , and . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 10 (5): 677-682 (1991)Boolean Function Representation Using Parallel-Access Diagrams., and . Great Lakes Symposium on VLSI, page 112-117. IEEE Computer Society, (1996)The disjunctive decomposition of logic functions., and . ICCAD, page 78-82. IEEE Computer Society / ACM, (1997)Optimization of Combinational Logic Circuits Based on Compatible Gates., , and . DAC, page 631-636. ACM Press, (1993)Scheduling with Environmental Constraints based on Automata Representations., , and . EDAC-ETC-EUROASIC, page 495-501. IEEE Computer Society, (1994)On-line Testing of an Off-the-shelf Microprocessor Board for Safety-critical Applications., , , , , , and . EDCC, volume 1150 of Lecture Notes in Computer Science, page 190-202. Springer, (1996)On the Design of Multiple-Input Shift-Registers for Signature Analysis Testing., , and . ITC, page 936. IEEE Computer Society, (1989)Synthesis of combinational circuits with special fault-handling capabilitie., and . VTS, page 454-459. IEEE Computer Society, (1995)Boolean Function Representation Based on Disjoint-Support Decompositions., and . ICCD, page 27-32. IEEE Computer Society, (1996)A Synthesis Framework Based on Trace and Automata Theory., , , and . ISCAS, page 291-294. IEEE, (1994)