Search the dblp DataBase

Publications of Author

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