Author of the publication

A Methodology for Designing Optimal Self-Checking Sequential Circuits.

, , and . ITC, page 283-291. IEEE Computer Society, (1991)

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 Decision Method for Temporal Logic Based on Resolution.. FSTTCS, volume 206 of Lecture Notes in Computer Science, page 272-289. Springer, (1985)Reasoning About Game Equilibria Using Temporal Logic.. FSTTCS, volume 3328 of Lecture Notes in Computer Science, page 506-517. Springer, (2004)Low power realization of FIR filters using multirate architectures., , and . VLSI Design, page 370-375. IEEE Computer Society, (1996)State Assignment for Optimal Design of Monitored Self-Checking Sequential Circuits., , and . VLSI Design, page 15-20. IEEE Computer Society, (1993)Synthesis of multiplier-less FIR filters with minimum number of additions., , and . ICCAD, page 668-671. IEEE Computer Society / ACM, (1995)Reasoning about digital systems using temporal logic., and . DAC, page 215-219. IEEE Computer Society Press, (1986)A Propositional Dense Time Logic (Based on Nested Sequences)., and . TAPSOFT, volume 668 of Lecture Notes in Computer Science, page 584-598. Springer, (1993)Message from steering committee., , , and . COMSNETS, page 1-2. IEEE, (2014)A Methodology for Designing Optimal Self-Checking Sequential Circuits., , and . ITC, page 283-291. IEEE Computer Society, (1991)Labeled Lambda-Calculus and a Generalized Notion of Strictness (An Extended Abstract)., , and . ASIAN, volume 1023 of Lecture Notes in Computer Science, page 103-110. Springer, (1995)