☰ E-Tree

Adnan Aziz

Affiliations:

Electrical and Computer Engineering

University of Texas at Austin, Austin, Texas, U.S.A.

Area:

Computer Science, Electronics and Electrical Engineering

Google:

Tree Publications Similar researchers PubMed Report error

Parents

Children

I-Min Liu	grad student	2000	UT Austin
Malay K. Ganai	grad student	2001	UT Austin
Jun Yuan	grad student	2002	UT Austin
Amit Prakash	grad student	2004	UT Austin
Fadi A. Zaraket	grad student	2007	UT Austin
Stephen Bijansky	grad student	2008	UT Austin
Hari Mony	grad student	2008	UT Austin
Monica C. Farkash	grad student	2014	UT Austin

Collaborators

BETA: Related publications

Publications

You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect.
Mony H, Baumgartner J, Aziz A. (2005) Exploiting constraints in transformation-based verification Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 3725: 269-284
Yuan J, Aziz A, Pixley C, et al. (2004) Simplifying Boolean Constraint Solving for Random Simulation-Vector Generation Ieee Transactions On Computer-Aided Design of Integrated Circuits and Systems. 23: 412-420
Prakash A, Kotla R, Mandal T, et al. (2003) A high-performance architecture and BDD-based synthesis methodology for packet classification Ieee Transactions On Computer-Aided Design of Integrated Circuits and Systems. 22: 698-709
Liu T, Aziz A, Singhal V. (2001) Optimizing designs containing black boxes Acm Transactions On Design Automation of Electronic Systems. 6: 591-601
Aziz A, Kukula J, Shiple T, et al. (2001) Efficient control state-space search Ieee Transactions On Computer-Aided Design of Integrated Circuits and Systems. 20: 332-336
Singhal V, Pixley C, Aziz A, et al. (2001) Theory of safe replacements for sequential circuits Ieee Transactions On Computer-Aided Design of Integrated Circuits and Systems. 20: 249-265
Ganai M, Yalagandula P, Aziz A, et al. (2001) SIVA: A system for coverage-directed state space search Journal of Electronic Testing: Theory and Applications (Jetta). 17: 11-27
Aziz A. (2000) Sequential synthesis using S1S Ieee Transactions On Computer-Aided Design of Integrated Circuits and Systems. 19: 1149-1162

See more...