Robert W. Sumners

Publication Activity (10 Years)

Years Active: 1997-2007
Publications (10 Years): 0

Publications

Shobha Vasudevan, Vinod Viswanath, Robert W. Sumners, Jacob A. Abraham
Automatic Verification of Arithmetic Circuits in RTL Using Stepwise Refinement of Term Rewriting Systems. IEEE Trans. Computers 56 (10) (2007)
Robert W. Sumners, Jayanta Bhadra, Jacob A. Abraham
Automatic Validation Test Generation Using Extracted Control Models. VLSI Design (2000)
Robert W. Sumners, Jayanta Bhadra, Jacob A. Abraham
Improving Witness Search Using Orders on States. ICCD (1999)
Robert W. Sumners, Parminder Chhabra, Jacob A. Abraham
Lightweight guided random simulation. ISSRE (1998)
Robert W. Sumners, Jacob A. Abraham
Hierarchical Specification of System Behavior. HASE (1997)