☰

Adnan Aziz - Publications

Affiliations: 
Electrical and Computer Engineering University of Texas at Austin, Austin, Texas, U.S.A. 
Area:
Computer Science, Electronics and Electrical Engineering
Tree Info Similar researchers PubMed Report error

8 high-probability publications. We are testing a new system for linking publications to authors. You can help! If you notice any inaccuracies, please sign in and mark papers as correct or incorrect matches. If you identify any major omissions or other inaccuracies in the publication list, please let us know.

Year Citation  Score
2005 Mony H, Baumgartner J, Aziz A. 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. DOI: 10.1007/11560548_21  0.522
2004 Yuan J, Aziz A, Pixley C, Albin K. Simplifying Boolean Constraint Solving for Random Simulation-Vector Generation Ieee Transactions On Computer-Aided Design of Integrated Circuits and Systems. 23: 412-420. DOI: 10.1109/Tcad.2004.823348  0.45
2003 Prakash A, Kotla R, Mandal T, Aziz A. 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. DOI: 10.1109/Tcad.2003.811449  0.516
2001 Liu T, Aziz A, Singhal V. Optimizing designs containing black boxes Acm Transactions On Design Automation of Electronic Systems. 6: 591-601. DOI: 10.1145/502175.502184  0.355
2001 Aziz A, Kukula J, Shiple T, Yuan J. Efficient control state-space search Ieee Transactions On Computer-Aided Design of Integrated Circuits and Systems. 20: 332-336. DOI: 10.1109/43.908475  0.41
2001 Singhal V, Pixley C, Aziz A, Brayton RK. Theory of safe replacements for sequential circuits Ieee Transactions On Computer-Aided Design of Integrated Circuits and Systems. 20: 249-265. DOI: 10.1109/43.908455  0.342
2001 Ganai M, Yalagandula P, Aziz A, Kuehlmann A, Singhal V. SIVA: A system for coverage-directed state space search Journal of Electronic Testing: Theory and Applications (Jetta). 17: 11-27. DOI: 10.1023/A:1011189608077  0.543
2000 Aziz A. Sequential synthesis using S1S Ieee Transactions On Computer-Aided Design of Integrated Circuits and Systems. 19: 1149-1162. DOI: 10.1109/43.875301  0.315
Show low-probability matches.