Ada design language for the structured design methodology. - J. P. Privitera (AdaTEC Conference on Ada, 1982)

Application of Term Rewriting Techniques to Hardware Design Verification. - Mandalagiri S. Chandrasekhar; J. P. Privitera; K. W. Conradt (DAC, 1987)

The Automatic Generation of Functional Test Vectors for Rambus Designs. - K. D. Jones; J. P. Privitera (DAC, 1996)

Pattern generation tools for the development of memory core test patterns for Rambus devices. - John Privitera; Steven Woo; Craig Soldat (ITC, 2000)