A
Adnan Aziz
Researcher at University of California, Berkeley
Publications - 14
Citations - 469
Adnan Aziz is an academic researcher from University of California, Berkeley. The author has contributed to research in topics: Finite-state machine & Sequential logic. The author has an hindex of 11, co-authored 14 publications receiving 454 citations.
Papers
More filters
Book
Constraint-based verification
Jun Yuan,Carl Pixley,Adnan Aziz +2 more
TL;DR: The methodology and state-of-the-art techniques of constrained verification, which is new and popular, and relates constrained verification with the also-hot technology called assertion-based design are covered.
Proceedings ArticleDOI
HSIS: A BDD-Based Environment for Formal Verification
Adnan Aziz,Felice Balarin,Szu-Tsung Cheng,Ramin Hojati,Timothy Kam,S. C. Krishnan,Rajeev Kumar Ranjan,Thomas R. Shiple,Vigyan Singhal,Serdar Tasiran,Huey-Yih Wang,Robert K. Brayton,Alberto Sangiovanni-Vincentelli +12 more
TL;DR: The essential features of HSIS, a BDD-based environment for formal verification, are described, which allows us to experiment with formal verification techniques on a variety of design problems and provides an environment for further research in formal verification.
Proceedings ArticleDOI
BDD Variable Ordering for Interacting Finite State Machines
TL;DR: Algorithms for variable ordering for BDD representation of a system of interacting finite state machines are implemented in HSIS, a hierarchical synthesis and verification tool currently under development at Berkeley.
Journal ArticleDOI
Simplifying Boolean constraint solving for random simulation-vector generation
TL;DR: An efficient algorithm for simplifying conjunctive Boolean constraints defined over state and input variables is presented, and applied to constrained random simulation vector generation using binary decision diagrams (BDDs).
Proceedings ArticleDOI
Sequential synthesis using S1S
TL;DR: The logic S1S is used to derive simple, rigorous, and constructive solutions to problems in sequential synthesis, and exact and approximate sets of permissible FSM network behavior are obtained.