Shyamsundar Pullela

Publication Activity (10 Years)

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

Publications

Paul S. Miner, Shyamsundar Pullela, Steven D. Johnson
Interaction of Formal Design Systems in the Development of a Fault-Tolerant Clock Synchronization Circuit. SRDS (1994)
Bhaskar Bose, Steven D. Johnson, Shyamsundar Pullela
Integrating Boolean Verification with Formal Derivation. CHDL (1993)