Formal Verification
-
A. Saifhashemi,; H.-H. Huang; P. Bhalerao, P.A. Beerel, "Logical equivalence checking of asynchronous circuits using commercial tools," in Design, Automation & Test in Europe Conference & Exhibition (DATE), 2015 , vol., no., pp.1563-1566, 9-13 March 2015.
-
Relative Timing Based Verification of Timed Circuits and Systems, H. Kim, P.A. Beerel and K.S. Stevens. ASYNC'02, April 2002.
-
Relative Timing Based Verification of Timed Circuits and Systems, H. Kim and P.A. Beerel. IWLS'99, June 1999. (PowerPoint presentation slides).
-
Symbolic Reachability Analysis of Large Finite State Machines Using Don't Cares Y. Hong and P. A. Beerel. Design Automation and Test Conference in Europe (DATE), 1999.
-
Hazard--Freedom Checking in Speed--Independent Systems, H. Yenigun, V. Levin, D. Peled, and P. A. Beerel, CHARME'99.
-
Checking Combinational Equivalence of Speed-Independent Circuits, P. A. Beerel, J. R. Burch and T. H.-Y. Meng, Formal Methods in S ystem Design, 13, 37--85, 1998.
-
Symbolic Reachability Analysis of Large Finite State Machines Using Don't Cares Y. Hong and P. A. Beerel. Int. Workshop on Logic Synthesis, 1998.
-
Hiding Memory Elements in Induced Hierarchical Verification of Speed-Independent Circuits, V. Vakilotojar and P. A. Beerel, IWLS-98, June 1998.
-
RTL Verification of Timed Asynchronous and Homogeneous Systems using Symbolic Model Checking, V. Vakilotojar and P. A. Beerel, INTEGRATION, The VLSI Journal, December 1997.
-
Efficient Reachability Analysis of Large Finite State Machines Using Don't Care-Based BDD Minimization Y. Hong and P. A. Beerel, USC CENG 97-25, December 1997.
-
RTL Verification of Timed Asynchronous an d Heterogeneous Systems using Symbolic Model Checking, V. Vakilotojar and P. A. Beerel, ASPDAC-97, January 1997.
-
Efficient Verification of Determinate Speed-Indep endent Circuits, P. A. Beerel, J. R. Burch and T. H.-Y. Meng, ICCAD-94, November 1994.
-
Necessary and Sufficient Conditions for Correct Gate-Level Speed-Independent Circuits, P. A. Beerel, J. R. Burch and T. H.-Y. Meng, Async-94, October 1994.
