 | 1995 |
|---|
| 6 |       | Michael C. McFarland,
Thaddeus J. Kowalski:
Symbolic analysis and verification of CPA descriptions.
CHARME 1995: 103-123 |
| 1991 |
|---|
| 5 | | Michael C. McFarland,
Thaddeus J. Kowalski:
Specifying System Behavior in CPA.
ICCD 1991: 342-345 |
| 1990 |
|---|
| 4 |  | Michael C. McFarland,
Thaddeus J. Kowalski:
Incorporating bottom-up design into hardware synthesis.
IEEE Trans. on CAD of Integrated Circuits and Systems 9(9): 938-950 (1990) |
| 1986 |
|---|
| 3 | | Wayne Hendrix Wolf,
Thaddeus J. Kowalski,
Michael C. McFarland:
Knowledge Engineering Issues in VLSI Synthesis.
AAAI 1986: 866-871 |
| 1985 |
|---|
| 2 | | Thaddeus J. Kowalski,
Donald E. Thomas:
The VLSI design automation assistant: what's in a knowledge base.
DAC 1985: 252-258 |
| 1983 |
|---|
| 1 | | Donald E. Thomas,
Charles Y. Hitchcock III,
Thaddeus J. Kowalski,
Jayanth V. Rajan,
Robert A. Walker:
Automatic Data Path Synthesis.
IEEE Computer 16(12): 59-70 (1983) |
