Concepedia

A. Aziz

AA

17

Publications

496

Citations

13

H-Index

1994

Active since

Affiliations

The University of Texas at Austin(Current)

University of California, Berkeley

Motorola (United States)

Synopsys (United States)

Cadence Design Systems (United States)

A. Aziz is an author at The University of Texas at Austin specializing in engineering, computer engineering, and computer science.

Top concepts

EngineeringComputer ScienceComputer EngineeringFormal MethodsComputer ArchitectureFormal VerificationHardware SecurityParallel ComputingSystems EngineeringAutomated Reasoning

Publications per year

1994–2007

17

Publications

17

Modeling design constraints and biasing in simulation using BDDs

Jianmin Yuan, Kurt Shultz, Carl Pixley et al. · 1999 IEEE/ACM International Conference on Computer-Aided Design. Digest of Technical Papers (Cat. No.99CH37051) · 2003 · 65 citations

Engineering, Verification, Computer-aided Verification +24

A. Aziz, Serdar Taşiran, Huey-Yih Wang et al. · 1994 · 57 citations

Engineering, Information Security, Verification +17

Simultaneous routing and buffer insertion with restrictions on buffer locations

Hai Zhou, Martin D. F. Wong, I-Min Liu et al. · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 2000 · 52 citations

Engineering, Macro Blocks, Network Routing +17

Simplifying Boolean Constraint Solving for Random Simulation-Vector Generation

Jianmin Yuan, A. Aziz, Carl Pixley et al. · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 2004 · 51 citations

Mathematical Programming, Engineering, Conjunctive Boolean Constraints +19

Multicast scheduling for switches with multiple input-queues

Santosh Kumar Gupta, A. Aziz · 2003 · 39 citations

Engineering, Computer Architecture, Queueing Theory +16

Rows per page

1–5 of 17