关注
Adnan Aziz
Adnan Aziz
在 fb.com 的电子邮件经过验证 - 首页
标题
引用次数
引用次数
年份
VIS: A system for verification and synthesis
RK Brayton, GD Hachtel, A Sangiovanni-Vincentelli, F Somenzi, A Aziz, ...
Computer Aided Verification: 8th International Conference, CAV'96 New …, 1996
9751996
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
5892000
Verifying continuous time Markov chains
A Aziz, K Sanwal, V Singhal, R Brayton
Computer Aided Verification: 8th International Conference, CAV'96 New …, 1996
4891996
It usually works: The temporal logic of stochastic systems
A Aziz, V Singhal, F Balarin, RK Brayton, AL Sangiovanni-Vincentelli
Computer Aided Verification: 7th International Conference, CAV'95 Liège …, 1995
3211995
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
1931995
Constraint-based verification
J Yuan, C Pixley, A Aziz
Springer Science & Business Media, 2006
1662006
Simultaneous routing and buffer insertion with restrictions on buffer locations
H Zhou, DF Wong, IM Liu, A Aziz
Proceedings of the 36th annual ACM/IEEE Design Automation Conference, 96-99, 1999
1541999
BDD based procedures for a theory of equality with uninterpreted functions
A Goel, K Sajid, H Zhou, A Aziz, V Singhal
Computer Aided Verification: 10th International Conference, CAV'98 Vancouver …, 1998
1261998
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
1231999
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
1171994
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
1071994
On combining formal and informal verification
J Yuan, J Shen, J Abraham, A Aziz
Computer Aided Verification: 9th International Conference, CAV'97 Haifa …, 1997
961997
Enhancing simulation with BDDs and ATPG
MK Ganai, A Aziz, A Kuehlmann
Proceedings of the 36th Annual ACM/IEEE Design Automation Conference, 385-390, 1999
871999
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
852000
Provisioning on-chip networks under buffered rc interconnect delay variations
M Mondal, T Ragheb, X Wu, A Aziz, Y Massoud
2007 IEEE International Symposium on Quality of Electronic Design, 873-878, 2007
802007
Population growth, trophic level, and reproductive biology of two congeneric archer fishes (Toxotes chatareus, Hamilton 1822 and Toxotes jaculatrix, Pallas 1767 …
KD Simon, Y Bakar, A Samat, CC Zaidi, A Aziz, AG Mazlan
Journal of Zhejiang University Science B 10, 902-911, 2009
712009
Simplifying boolean constraint solving for random simulation-vector generation
J Yuan, K Albin, A Aziz, C Pixley
Proceedings of the 2002 IEEE/ACM international conference on Computer-aided …, 2002
712002
Sequential synthesis using S1S
A Aziz, F Balarin, RK Brayton, A Sangiovanni-Vincentelli
IEEE Transactions on computer-aided design of integrated circuits and …, 2000
68*2000
Minimizing interacting finite state machines: A compositional approach to language containment
A Aziz, V Singhal, R Brayton, GM Swamy
Proceedings 1994 IEEE International Conference on Computer Design: VLSI in …, 1994
601994
Transverse permeability of dry fiber preforms manufactured by automated fiber placement
AR Aziz, MA Ali, X Zeng, R Umer, P Schubel, WJ Cantwell
Composites Science and Technology 152, 57-67, 2017
592017
系统目前无法执行此操作,请稍后再试。
文章 1–20