Thaddeus J. Kowalski

Publication Activity (10 Years)

Years Active: 1983-1995
Publications (10 Years): 0

Publications

Michael C. McFarland, Thaddeus J. Kowalski
Symbolic analysis and verification of CPA descriptions. CHARME (1995)
Michael C. McFarland, Thaddeus J. Kowalski
Specifying System Behavior in CPA. ICCD (1991)
Michael C. McFarland, Thaddeus J. Kowalski
Incorporating bottom-up design into hardware synthesis. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 9 (9) (1990)
Wayne Hendrix Wolf, Thaddeus J. Kowalski, Michael C. McFarland
Knowledge Engineering Issues in VLSI Synthesis. AAAI (1986)
Thaddeus J. Kowalski, Donald E. Thomas
The VLSI design automation assistant: what's in a knowledge base. DAC (1985)
Thaddeus J. Kowalski, Donald E. Thomas
The VLSI Design Automation Assistant: An IBM System/370 Design. IEEE Des. Test 1 (1) (1984)
Donald E. Thomas, Charles Y. Hitchcock III, Thaddeus J. Kowalski, Jayanth V. Rajan, Robert A. Walker
Automatic Data Path Synthesis. Computer 16 (12) (1983)
Thaddeus J. Kowalski, Donald E. Thomas
The VLSI Design Automation Assistant: Prototype system. DAC (1983)