Mark A. Heap

Publication Activity (10 Years)

Years Active: 1989-1994
Publications (10 Years): 0

Publications

Mark A. Heap, M. Ray Mercer
Least Upper Bounds an OBDD Sizes. IEEE Trans. Computers 43 (6) (1994)
Mark A. Heap
On the exact ordered binary decision diagram size of totally symmetric functions. J. Electron. Test. 4 (2) (1993)
Mark A. Heap, William A. Rogers, M. Ray Mercer
A Synthesis Algorithm for Two-Level XOR Based Circuits. ICCD (1992)
Mark A. Heap, William A. Rogers, William B. Burns
STarS: a target switching algorithm for sequential test generation. VTS (1991)
Mark A. Heap, William A. Rogers
Generating Single-Stuck-Fault Coverage from a Collapsed-Fault Set. Computer 22 (4) (1989)