Adnan Aziz

Adnan Aziz, Jeffrey L. Burns, Rajat Chaudhry, 1998, Proceedings International Conference on Computer Design. VLSI in Computers and Processors (Cat. No.98CB36273).

Sequential optimisation without state space exploration

Robert K. Brayton, Alberto Sangiovanni-Vincentelli, Adnan Aziz, 1997, ICCAD 1997.

Algorithms for interconnect planning and optimization in deep-submicron vlsi design

Adnan Aziz, I-Min Liu, 2000 .

Synthesizing interconnect-efficient low density parity check codes

Adnan Aziz, Wayne H. Wolf, Amit Prakash, 2004, Proceedings. 41st Design Automation Conference, 2004..

The Hazard-Free Superscalar Pipeline Fast Fourier Transform Architecture and Algorithm

Earl E. Swartzlander, Adnan Aziz, Bassam Jamil Mohd, 2007, VLSI-SoC.

Global Optimization of Compositional Systems

Sarfraz Khurshid, Adnan Aziz, Fadi A. Zaraket, 2007 .

Supervisory Control of Finite State Machines

Robert K. Brayton, Alexander Saldanha, Adnan Aziz, 1995, CAV.

Sequential synthesis using S1S

Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, Adnan Aziz, 1995, ICCAD.

A middle ground between CAMs and DAGs for high-speed packet classification

Adnan Aziz, Amit Prakash, 2002, Proceedings 10th Symposium on High Performance Interconnects.

Model Checking the IBM Gigahertz Processor: An Abstraction Algorithm for High-Performance Netlists

Adnan Aziz, Jason Baumgartner, Vigyan Singhal, 1999, CAV.

HSIS: A BDD-Based Environment for Formal Verification

Szu-Tsung Cheng, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, 1994, 31st Design Automation Conference.

Reliability Analysis for On-chip Networks under RC Interconnect Delay Variation

Adnan Aziz, Xiang Wu, Yehia Massoud, 2006, 2006 1st International Conference on Nano-Networks and Workshops.

VIS: A System for Verification and Synthesis

Tiziano Villa, Stephen A. Edwards, Szu-Tsung Cheng, 1996, CAV.

Provisioning On-Chip Networks under Buffered RC Interconnect Delay Variations

Adnan Aziz, Xiang Wu, Yehia Massoud, 2007, 8th International Symposium on Quality Electronic Design (ISQED'07).

Minimizing interacting finite state machines: a compositional approach to language containment

Robert K. Brayton, Adnan Aziz, Vigyan Singhal, 1994, Proceedings 1994 IEEE International Conference on Computer Design: VLSI in Computers and Processors.

Simplifying Boolean constraint solving for random simulation-vector generation

Adnan Aziz, Carl Pixley, Jun Yuan, 2002, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

Global VoIP security threats - large scale validation based on independent honeynets

Thomas Grechenig, Markus Gruber, Adnan Aziz, 2015, 2015 IFIP Networking Conference (IFIP Networking).

OC-3072 packet classification using BDDs and pipelined SRAMs

Adnan Aziz, Amit Prakash, A. Aziz, 2001, HOT 9 Interconnects. Symposium on High Performance Interconnects.

Automatic Vector Generation Using Constraints and Biasing

Adnan Aziz, Carl Pixley, Kurt Shultz, 2000, J. Electron. Test..

Scalable compositional minimization via static analysis

Adnan Aziz, Jason Baumgartner, Fadi A. Zaraket, 2005, ICCAD-2005. IEEE/ACM International Conference on Computer-Aided Design, 2005..

Sequential circuits for program analysis

Sarfraz Khurshid, Adnan Aziz, Fadi A. Zaraket, 2007, ASE '07.

Adaptive SRAM memory for low power and high yield

Jacob A. Abraham, Baker Mohammad, Adnan Aziz, 2008, 2008 IEEE International Conference on Computer Design.

Sequential optimisation without state space exploration

Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, Amit Mehrotra, 1997, 1997 Proceedings of IEEE International Conference on Computer Aided Design (ICCAD).

Simultaneous routing and buffer insertion with restrictions onbuffer locations

Hai Zhou, Adnan Aziz, I-Min Liu, 2000, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

Simplifying Boolean constraint solving for random simulation-vector generation

Adnan Aziz, Carl Pixley, Jun Yuan, 2002, IEEE/ACM International Conference on Computer Aided Design, 2002. ICCAD 2002..

An Abstraction Algorithm for the Verification of Generalized C-Slow Designs

Adnan Aziz, Jason Baumgartner, Vigyan Singhal, 2000, CAV.

A Method for Synthesizing Boolean Constrains

Adnan Aziz, John Havlicek, Jun Yuan, 2002, IWLS.

Constraint-based verification

Adnan Aziz, Carl Pixley, Jun Yuan, 2006 .

TuneFPGA: Post-silicon tuning of dual-Vdd FPGAs

Adnan Aziz, Stephen Bijansky, 2008, 2008 45th ACM/IEEE Design Automation Conference.

Multi-level synthesis for safe replaceability

Robert K. Brayton, Adnan Aziz, Carl Pixley, 1994, ICCAD '94.

Automatic lighthouse generation for directed state space search

Adnan Aziz, Praveen Yalagandula, Vigyan Singhal, 2000, DATE '00.

A heterogeneous CMOS-CNT architecture utilizing novel coding of boolean functions

Sriram Vishwanath, Adnan Aziz, Ashish Kumar Singh, 2007, 2007 IEEE International Symposium on Nanoscale Architectures.

Generation of Efficient Codes for Realizing Boolean Functions in Nanotechnologies pdf

Sriram Vishwanath, Adnan Aziz, Ashish Kumar Singh, 2007, ArXiv.

TuneLogic: Post-silicon tuning of dual-Vdd designs

Adnan Aziz, Sae Kyu Lee, Stephen Bijansky, 2009, 2009 10th International Symposium on Quality Electronic Design.

An efficient buffer insertion algorithm for large networks based on Lagrangian relaxation

Hai Zhou, Adnan Aziz, I-Min Liu, 1999, Proceedings 1999 IEEE International Conference on Computer Design: VLSI in Computers and Processors (Cat. No.99CB37040).

Hybrid techniques for fast functional simulation

Adnan Aziz, Yufeng Luo, Tjahjadi Wongsonegoro, 1998, DAC.

A Framework for Constrained Functional Verification

Adnan Aziz, Carl Pixley, Jun Yuan, 2003, ICCAD.

Binary Decision Graph

Adnan Aziz, Amit Prakash, 2016, Encyclopedia of Algorithms.

Performance driven synthesis for pass-transistor logic

Adnan Aziz, Malay K. Ganai, Jeffrey L. Burns, 1999, Proceedings Twelfth International Conference on VLSI Design. (Cat. No.PR00013).

An O(log/sup 2/ N) parallel algorithm for output queuing

Adnan Aziz, Amit Prakash, Sadia Sharif, 2002, Proceedings.Twenty-First Annual Joint Conference of the IEEE Computer and Communications Societies.

Equivalences for Fair Kripke Structures

Alberto Sangiovanni-Vincentelli, Adnan Aziz, Felice Balarin, 1994, ICALP.

Multicast scheduling for switches with multiple input-queues

Adnan Aziz, Shashank Gupta, 2002, Proceedings 10th Symposium on High Performance Interconnects.

A Framework for Constrained Functional Verification

Adnan Aziz, Carl Pixley, Jun Yuan, 2003, ICCAD 2003.

Exploiting Constraints in Transformation-Based Verification

Adnan Aziz, Jason Baumgartner, Hari Mony, 2005, CHARME.

Simplifying Constraint Solving in Random Simulation Generation

Adnan Aziz, Carl Pixley, Jun Yuan, 2002, International Workshop on Logic & Synthesis.

Implementing DSP Algorithms with On-Chip Networks

Adnan Aziz, Xiang Wu, Yehia Massoud, 2007, First International Symposium on Networks-on-Chip (NOCS'07).

BDD Based Procedures for a Theory of Equality with Uninterpreted Functions

Hai Zhou, Adnan Aziz, Vigyan Singhal, 1998, CAV.

Improved SAT-based bounded reachability analysis

Adnan Aziz, Malay K. Ganai, A. Aziz, 2002, Proceedings of ASP-DAC/VLSI Design 2002. 7th Asia and South Pacific Design Automation Conference and 15h International Conference on VLSI Design.

Optimal Constraint-Preserving Netlist Simplification

Adnan Aziz, Jason Baumgartner, Hari Mony, 2008, 2008 Formal Methods in Computer-Aided Design.

Scheduling on-chip networks

Adnan Aziz, Xiang Wu, 2009 .

Constraint synthesis for environment modeling in functional verification

Adnan Aziz, Carl Pixley, Jun Yuan, 2003, DAC '03.

Formula-Dependent Equivalence for Compositional CTL Model Checking

Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, Adnan Aziz, 1994, CAV.

Hybrid verification using saturated simulation

Adnan Aziz, Thomas R. Shiple, James H. Kukula, 1998, Proceedings 1998 Design and Automation Conference. 35th DAC. (Cat. No.98CH36175).

Delay constrained optimization by simultaneous fanout tree construction, buffer insertion/sizing and gate sizing

Adnan Aziz, I-Min Liu, 2000, Proceedings 2000 International Conference on Computer Design.

Application of Visual Analysis to Detect and Analyze Patterns in VoIP Attack Traffic

Tobias Hoßfeld, Adnan Aziz, Erwin P. Rathgeb, 2018, 2018 17th IEEE International Conference On Trust, Security And Privacy In Computing And Communications/ 12th IEEE International Conference On Big Data Science And Engineering (TrustCom/BigDataSE).

A case study analysis : Johor Corporation / Adnan Aziz and Fairul Azni Jaafar

Adnan Aziz, Fairul Azni Jaafar, 2001 .

Formal Methods in VLSI System Design

Adnan Aziz, A. Aziz, 1996 .

Modeling design constraints and biasing in simulation using BDDs

Adnan Aziz, Carl Pixley, Jun Yuan, 1999, 1999 IEEE/ACM International Conference on Computer-Aided Design. Digest of Technical Papers (Cat. No.99CH37051).

A distributed infrastructure to analyse SIP attacks in the Internet

Adnan Aziz, Thomas Dreibholz, Erwin P. Rathgeb, 2014, 2014 IFIP Networking Conference.

Theory of safe replacements for sequential circuits

Robert K. Brayton, Adnan Aziz, Carl Pixley, 2001, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

Rarity based guided state space search

Adnan Aziz, Malay K. Ganai, 2001, GLSVLSI '01.

BDD Variable Ordering for Interacting Finite State Machines

Robert K. Brayton, Serdar Tasiran, Adnan Aziz, 1994, 31st Design Automation Conference.

Meeting delay constraints in DSM by minimal repeater insertion

Adnan Aziz, I-Min Liu, Martin D. F. Wong, 2000, DATE '00.

Development and Analysis of Generic VoIP Attack Sequences Based on Analysis of Real Attack Traffic

Adnan Aziz, Erwin P. Rathgeb, Dirk Hoffstadt, 2013, 2013 12th IEEE International Conference on Trust, Security and Privacy in Computing and Communications.

A high-performance architecture and BDD-based synthesis methodology for packet classification

Ramakrishna Kotla, Adnan Aziz, Amit Prakash, 2003, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

Symbolic Model Checking

Adnan Aziz, Amit Prakash, 2016, Encyclopedia of Algorithms.

A near optimal scheduler for switch-memory-switch routers

Adnan Aziz, Vijaya Ramachandran, Amit Prakash, 2003, SPAA '03.

A Reconfigurable Architecture and Associated Synthesis Methodology for High Speed Packet Classification

Ramakrishna Kotla, Adnan Aziz, Amit Prakash, 2002, IWLS.

Sequential optimization in the absence of global reset

Robert K. Brayton, Adnan Aziz, Carl Pixley, 2003, TODE.

The Needs of Current Society and the Views of Johan Stuart Mill

Adnan Aziz, Muhammad Yasir Khan, 2017 .