Author of the publication

PLEASURE: a computer program for simple/multiple constrained/unconstrained folding of Programmable Logic Arrays.

, and . DAC, page 530-537. ACM/IEEE, (1983)

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

Two-Level Minimization of Multivalued Functions with Large Offsets., , , and . IEEE Trans. Computers, 42 (11): 1325-1342 (1993)Diagnosability of Nonlinear Circuits and Systems - Part I: The dc Case., and . IEEE Trans. Computers, 30 (11): 889-898 (1981)A Survey of Techniques for Formal Verification of Combinational Circuits., , , and . ICCD, page 445-454. IEEE Computer Society, (1997)Model predictive control approach to online computation of demand-side flexibility of commercial buildings HVAC systems for Supply Following., , , and . ACC, page 1082-1089. IEEE, (2014)Sound and complete state estimation for linear dynamical systems under sensor attacks using Satisfiability Modulo Theory solving., , , , , and . ACC, page 3818-3823. IEEE, (2015)Highlights of VLSI Research at Berkeley., , and . FJCC, page 894-897. IEEE Computer Society, (1986)Solving the State Assignment Problem for Signal Transition Graphs., , , and . DAC, page 568-572. (1992)Equivalence of Robust Delay-Fault and Single Stuck-Fault Test Generation., , and . DAC, page 173-176. (1992)An Improved Synthesis Algorithm for Multiplexor-Based PGA's., , and . DAC, page 380-386. (1992)Hybrid system reduction., , , and . CDC, page 227-232. IEEE, (2008)