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.15631566, 913 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.

HazardFreedom Checking in SpeedIndependent Systems, H. Yenigun, V. Levin, D. Peled, and P. A. Beerel, CHARME'99.

Checking Combinational Equivalence of SpeedIndependent Circuits, P. A. Beerel, J. R. Burch and T. H.Y. Meng, Formal Methods in S ystem Design, 13, 3785, 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 SpeedIndependent Circuits, V. Vakilotojar and P. A. Beerel, IWLS98, 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 CareBased BDD Minimization Y. Hong and P. A. Beerel, USC CENG 9725, December 1997.

RTL Verification of Timed Asynchronous an d Heterogeneous Systems using Symbolic Model Checking, V. Vakilotojar and P. A. Beerel, ASPDAC97, January 1997.

Efficient Verification of Determinate SpeedIndep endent Circuits, P. A. Beerel, J. R. Burch and T. H.Y. Meng, ICCAD94, November 1994.

Necessary and Sufficient Conditions for Correct GateLevel SpeedIndependent Circuits, P. A. Beerel, J. R. Burch and T. H.Y. Meng, Async94, October 1994.