The Compiled Logic Simulator. - Brion L. Keller; David P. Carlson; William Maloney (IEEE Des. Test Comput., 1991)