Thaddeus J. Kowalski

According to our database, Thaddeus J. Kowalski authored at least 8 papers between 1983 and 1995.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1995

Symbolic analysis and verification of CPA descriptions.

Michael C. McFarland, Thaddeus J. Kowalski

Proceedings of the Correct Hardware Design and Verification Methods, 1995

1991

Specifying System Behavior in CPA.

Michael C. McFarland, Thaddeus J. Kowalski

Proceedings of the Proceedings 1991 IEEE International Conference on Computer Design: VLSI in Computer & Processors, 1991

1990

Incorporating bottom-up design into hardware synthesis.

Michael C. McFarland, Thaddeus J. Kowalski

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1990

1986

Knowledge Engineering Issues in VLSI Synthesis.

Wayne Hendrix Wolf, Thaddeus J. Kowalski, Michael C. McFarland

Proceedings of the 5th National Conference on Artificial Intelligence. Philadelphia, 1986

1985

The VLSI design automation assistant: what's in a knowledge base.

Thaddeus J. Kowalski, Donald E. Thomas

Proceedings of the 22nd ACM/IEEE conference on Design automation, 1985

1984

The VLSI Design Automation Assistant: An IBM System/370 Design.

Thaddeus J. Kowalski, Donald E. Thomas

IEEE Des. Test, 1984

1983

Automatic Data Path Synthesis.

Donald E. Thomas, Charles Y. Hitchcock III, Thaddeus J. Kowalski, Jayanth V. Rajan, Robert A. Walker

Computer, 1983

The VLSI Design Automation Assistant: Prototype system.

Thaddeus J. Kowalski, Donald E. Thomas

Proceedings of the 20th Design Automation Conference, 1983