Integrating Boolean Verification with Formal Derivation. - Bhaskar Bose; Steven D. Johnson; Shyamsundar Pullela (CHDL, 1993)

Interaction of Formal Design Systems in the Development of a Fault-Tolerant Clock Synchronization Circuit. - Paul S. Miner; Shyamsundar Pullela; Steven D. Johnson (SRDS, 1994)