P
Peter A. Beerel
Researcher at University of Southern California
Publications - 236
Citations - 3784
Peter A. Beerel is an academic researcher from University of Southern California. The author has contributed to research in topics: Asynchronous communication & Computer science. The author has an hindex of 30, co-authored 208 publications receiving 3403 citations. Previous affiliations of Peter A. Beerel include Intel & University of California, San Diego.
Papers
More filters
Proceedings Article
Semi-modularity and self-diagnostic asynchronous circuits
Peter A. Beerel,Teresa H. Meng +1 more
Proceedings ArticleDOI
Efficient verification of determinate speed-independent circuits
TL;DR: The algorithm is implemented, the results demonstrate run-times of over an order of magnitude faster than AVER and no false negatives were found, and the state explosion problem caused by explicitly examining the behavior of internal signals is avoided.
Journal ArticleDOI
Sibling-substitution-based BDD minimization using don't cares
TL;DR: This paper presents heuristic algorithms to minimize the size of the BDDs representing incompletely specified functions by intelligently assigning don't cares to binary values.
Correctness and reduction in timed circuit analysis
Eric Mercer,Chris J. Myers,Peter A. Beerel,Ganesh Gopalakrishnan,Reid R. Harrison,Priyank Kalla,John Mathews,David S. Chapman +7 more
TL;DR: This dissertation formalizes the intent of correctness in the verification of a timed circuit by defining a set of failure conditions that can be analyzed in the circuit’s respective model and presenting the levelruled Petri net as a model for timed circuits.
Journal ArticleDOI
Efficient asynchronous bundled-data pipelines for DCT matrix-vector multiplication
TL;DR: Comparison with a synchronous counterpart suggests that the best asynchronous design of efficient asynchronous bundled-data pipelines for the matrix-vector multiplication core of discrete cosine transforms yields 30% higher average throughput with negligible energy overhead.