Adnan Aziz
Adnan Aziz
Verified email at - Homepage
Cited by
Cited by
VIS: A system for verification and synthesis
RK Brayton, GD Hachtel, A Sangiovanni-Vincentelli, F Somenzi, A Aziz, ...
International conference on computer aided verification, 428-432, 1996
Model-checking continuous-time Markov chains
A Aziz, K Sanwal, V Singhal, R Brayton
ACM Transactions on Computational Logic (TOCL) 1 (1), 162-170, 2000
Verifying continuous time Markov chains
A Aziz, K Sanwal, V Singhal, R Brayton
International Conference on Computer Aided Verification, 269-276, 1996
It usually works: The temporal logic of stochastic systems
A Aziz, V Singhal, F Balarin, RK Brayton, AL Sangiovanni-Vincentelli
International Conference on Computer Aided Verification, 155-165, 1995
Efficient BDD algorithms for FSM synthesis and verification
RK Ranjan, A Aziz, RK Brayton, B Plessier, C Pixley
IWLS95, Lake Tahoe, CA 253, 254, 1995
Simultaneous routing and buffer insertion with restrictions on buffer locations
H Zhou, DF Wong, IM Liu, A Aziz
IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2000
Constraint-based verification
J Yuan, C Pixley, A Aziz
Springer Science & Business Media, 2006
BDD based procedures for a theory of equality with uninterpreted functions
A Goel, K Sajid, H Zhou, A Aziz, V Singhal
International Conference on Computer Aided Verification, 244-255, 1998
Modeling design constraints and biasing in simulation using BDDs
J Yuan, K Shultz, C Pixley, H Miller, A Aziz
1999 IEEE/ACM International Conference on Computer-Aided Design. Digest of …, 1999
BDD variable ordering for interacting finite state machines
A Aziz, S Taşiran, RK Brayton
Proceedings of the 31st annual Design Automation Conference, 283-288, 1994
HSIS: A BDD-based environment for formal verification
A Aziz, F Balarin, ST Cheng, R Hojati, T Kam, SC Krishnan, RK Ranjan, ...
Proceedings of the 31st annual Design Automation Conference, 454-459, 1994
On combining formal and informal verification
J Yuan, J Shen, J Abraham, A Aziz
International Conference on Computer Aided Verification, 376-387, 1997
Enhancing simulation with BDDs and ATPG
MK Ganai, A Aziz, A Kuehlmann
Proceedings 1999 Design Automation Conference (Cat. No. 99CH36361), 385-390, 1999
Arithmetic of Z-numbers, the: theory and applications
RA Aliev, A Alizadeh, RR Aliyev, OH Huseynov
World Scientific, 2015
Zero-skew clock tree construction by simultaneous routing, wire sizing and buffer insertion
IM Liu, TL Chou, A Aziz, DF Wong
Proceedings of the 2000 international symposium on Physical design, 33-38, 2000
Systematic review on pyrethroid toxicity with special reference to deltamethrin
H Rehman, AT Aziz, SH Saggu, ZK Abbas, A Mohan, AA Ansari
Journal of Entomology and Zoology Studies 2 (6), 60-70, 2014
Complex DNA damage: a route to radiation-induced genomic instability and carcinogenesis
IV Mavragani, Z Nikitaki, MP Souli, A Aziz, S Nowsheen, K Aziz, ...
Cancers 9 (7), 91, 2017
Cardioprotective activity of flax lignan concentrate extracted from seeds of Linum usitatissimum in isoprenalin induced myocardial necrosis in rats
A Zanwar, M Hegde, S Bodhankar
Interdisciplinary Toxicology 4 (2), 90-97, 2011
Provisioning on-chip networks under buffered rc interconnect delay variations
M Mondal, T Ragheb, X Wu, A Aziz, Y Massoud
8th International Symposium on Quality Electronic Design (ISQED'07), 873-878, 2007
Chemical and biochemical composition of caviar from different sturgeon species and origins
M Wirth, F Kirschbaum, J Gessner, A Krüger, N Patriche, R Billard
Food/Nahrung 44 (4), 233-237, 2000
The system can't perform the operation now. Try again later.
Articles 1–20