Interaction of Formal Design Systems in the Development of a Fault-Tolerant Clock Synchronization Circuit.

Paul S. Miner, Shyamsundar Pullela, Steven D. Johnson

Browse the full SRDS paper archive.