PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Aziz, Adnan"

Author of the publication

copydeleteadd this publication to your clipboard
The hazard-free superscalar pipeline fast fourier transform algorithm and architecture.

, , and . VLSI-SoC, page 194-199. IEEE, (2007)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

No persons found for author name Aziz, Adnan
add a person with the name Aziz, Adnan
 

Other publications of authors with the same name

BDD Based Procedures for a Theory of Equality with Uninterpreted Functions., , , , and . Formal Methods in System Design, 22 (3): 205-224 (2003)An Abstraction Algorithm for the Verification of Level-Sensitive Latch-Based Netlists., , , and . Formal Methods in System Design, 23 (1): 39-65 (2003)Reliability Analysis for On-chip Networks under RC Interconnect Delay Variation., , , and . Nano-Net, page 1-5. IEEE, (2006)Constraint-based verification., , and . Springer, (2006)Area-oriented synthesis for pass-transistor logic., , , and . ICCD, page 160-167. (1998)Modeling design constraints and biasing in simulation using BDDs., , , , and . ICCAD, page 584-590. IEEE Computer Society, (1999)TuneLogic: Post-silicon tuning of dual-Vdd designs., , and . ISQED, page 394-400. IEEE Computer Society, (2009)Exploiting power-up delay for sequential optimization., , , and . EURO-DAC, page 54-59. IEEE Computer Society, (1995)Simplifying Boolean constraint solving for random simulation-vector generation., , , and . IEEE Trans. on CAD of Integrated Circuits and Systems, 23 (3): 412-420 (2004)Synthesizing interconnect-efficient low density parity check codes., , , and . DAC, page 488-491. ACM, (2004)