Author of the publication

Knowledge Representation and Reasoning in a Software Synthesis Architecture.

, and . IEEE Trans. Software Eng., 18 (6): 523-533 (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

A case study of synthesis for industrial-scale analog IP: redesign of the equalizer/filter frontend for an ADSL CODEC., , , , and . DAC, page 1-6. ACM, (2000)An O(n) Algorithm for Transistor Stacking with Performance Constraints., and . DAC, page 221-226. ACM Press, (1996)Zen and the Art of Analog Design Automation.. IFIP Congress, page 911. North-Holland/IFIP, (1989)Anaconda: simulation-based synthesis of analog circuits viastochastic pattern search., , , , and . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 19 (6): 703-717 (2000)Virtual Probe: A Statistical Framework for Low-Cost Silicon Characterization of Nanoscale Integrated Circuits., , , , , and . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 30 (12): 1814-1827 (2011)Computer-aided design of analog and mixed-signal integrated circuits., and . Proc. IEEE, 88 (12): 1825-1854 (2000)HPVM2FPGA: Enabling True Hardware-Agnostic FPGA Programming., , , , , , , , and . ASAP, page 1-10. IEEE, (2022)Floating-point bit-width optimization for low-power signal processing applications., , and . ICASSP, page 3208-3211. IEEE, (2002)Analog Circuit and Layout Synthesis Revisited.. ISPD, page 83. ACM, (2015)Multiprocessor-based placement by simulated annealing., and . DAC, page 567-573. IEEE Computer Society Press, (1986)