John Ivie

STL - A High Level Language for Simulation and Test

John Ivie, Kwok-Woon Larry Lai, 1986, 23rd ACM/IEEE Design Automation Conference.

Some MACSYMA Programs for Solving Recurrence Relations

John Ivie, 1978, TOMS.

STL - A High Level Language for Simulation and Test

John Ivie, Kwok-Woon Larry Lai, 1986, DAC 1986.

A high level approach to integrating design and test

John Ivie, 1988, International Test Conference 1988 Proceeding@m_New Frontiers in Testing.