Adnan Aziz

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Carl Pixley

> Home > Persons > Adnan Aziz

Publications

2006
[b1]
- view
  authority control:
- export record
  dblp key:
  - books/daglib/0016001
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/daglib/0016001
Jun Yuan, Carl Pixley, Adnan Aziz:
Constraint-based verification. Springer 2006, ISBN 978-0-387-25947-5, pp. I-XII, 1-253
2004
[j16]
- view
  authority control:
- export record
  dblp key:
  - journals/tcad/YuanAPA04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcad/YuanAPA04
Jun Yuan, Adnan Aziz, Carl Pixley, Ken Albin:
Simplifying Boolean constraint solving for random simulation-vector generation. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 23(3): 412-420 (2004)
2003
[j12]
- view
  authority control:
- export record
  dblp key:
  - journals/todaes/SinghalPAQB03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/todaes/SinghalPAQB03
Vigyan Singhal, Carl Pixley, Adnan Aziz, Shaz Qadeer, Robert K. Brayton:
Sequential optimization in the absence of global reset. ACM Trans. Design Autom. Electr. Syst. 8(2): 222-251 (2003)
[c48]
- view
  authority control:
- export record
  dblp key:
  - conf/dac/YuanAAP03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dac/YuanAAP03
Jun Yuan, Ken Albin, Adnan Aziz, Carl Pixley:
Constraint synthesis for environment modeling in functional verification. DAC 2003: 296-299
[c47]
- view
  authority control:
- export record
  dblp key:
  - conf/iccad/YuanPAA03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccad/YuanPAA03
Jun Yuan, Carl Pixley, Adnan Aziz, Ken Albin:
A Framework for Constrained Functional Verification. ICCAD 2003: 142-145
2002
[c43]
- view
  authority control:
- export record
  dblp key:
  - conf/iccad/YuanAAP02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccad/YuanAAP02
Jun Yuan, Ken Albin, Adnan Aziz, Carl Pixley:
Simplifying Boolean constraint solving for random simulation-vector generation. ICCAD 2002: 123-127
[c40]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/iwls/YuanAAP02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iwls/YuanAAP02
Jun Yuan, Ken Albin, Adnan Aziz, Carl Pixley:
Simplifying Constraint Solving in Random Simulation Generation. IWLS 2002: 185-190
2001
[j9]
- view
  authority control:
- export record
  dblp key:
  - journals/tcad/SinghalPAB01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcad/SinghalPAB01
Vigyan Singhal, Carl Pixley, Adnan Aziz, Robert K. Brayton:
Theory of safe replacements for sequential circuits. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 20(2): 249-265 (2001)
2000
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/et/YuanSPMA00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/et/YuanSPMA00
Jun Yuan, Kurt Shultz, Carl Pixley, Hillel Miller, Adnan Aziz:
Automatic Vector Generation Using Constraints and Biasing. J. Electron. Test. 16(1-2): 107-120 (2000)
1999
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/iccad/YuanSPMA99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccad/YuanSPMA99
Jun Yuan, Kurt Shultz, Carl Pixley, Hillel Miller, Adnan Aziz:
Modeling design constraints and biasing in simulation using BDDs. ICCAD 1999: 584-590
1995
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/eurodac/SinghalPAB95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eurodac/SinghalPAB95
Vigyan Singhal, Carl Pixley, Adnan Aziz, Robert K. Brayton:
Exploiting power-up delay for sequential optimization. EURO-DAC 1995: 54-59
1994
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/iccad/PixleySAB94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccad/PixleySAB94
Carl Pixley, Vigyan Singhal, Adnan Aziz, Robert K. Brayton:
Multi-level synthesis for safe replaceability. ICCAD 1994: 442-449

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.