Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Liang Zhang 0012

> Home > Persons

Person information

affiliation: Cadence Design Systems, Inc., San Jose, USA
affiliation (former): Virginia Tech, Blacksburg, VA, USA

Other persons with the same name

see FAQ

Liang Zhang — disambiguation page
Liang Zhang 0001 — Communications Research Centre Canada, Ottawa, ON, Canada (and 1 more)
Liang Zhang 0002 — Northeast Electric Power University, Electrical Engineering Department, Jilin, China (and 1 more)
Liang Zhang 0003 — New Star Research Institute of Applied Technology, Hefei, China
Liang Zhang 0004 — Zhejiang University, Department of Information Science and Electronic Engineering, Hangzhou, China
Liang Zhang 0005 — Anhui Agricultural University, Hefei, China (and 1 more)
Liang Zhang 0006 — University of Minnesota, Digital Technology Center / Department of Electrical and Computer Engineering, Minneapolis, MN, USA
Liang Zhang 0007 — University of Science and Technology of China, School of Information Science and Technology, Hefei, China
Liang Zhang 0008 — Tongji University, Department of Applied Mathematics, Shanghai, China
Liang Zhang 0009 — Fermilab, Batavia, IL, USA

Liang Zhang 0010 — Xidian University, School of Software Engineering, Xi'an, China (and 1 more)
Liang Zhang 0011 — New Jersey Institute of Technology, Newark, NJ, USA (and 1 more)
Liang Zhang 0013 — Chinese University of Hong Kong
Liang Zhang 0014 — Communications Research Centre, Ottawa, Canada (and 1 more)
Liang Zhang 0015 — Jiangsu Police Institute, Department of Computer Information and Cyber Security, Nanjing, China
Liang Zhang 0016 — North University of China, MOE Key Laboratory of Instrumentation Science & Dynamic Measurement, Taiyuan, China
Liang Zhang 0017 — Northwest A&F University, Yangling, China
Liang Zhang 0018 — University of Arizona, School of Information, Tucson, AZ, USA (and 2 more)
Liang Zhang 0019 — Fudan University, School of Computer Science, Shanghai, China
Liang Zhang 0020 — Shandong University, School of Mechanical, Electrical and Information Engineering, WeiHai, China (and 1 more)
Liang Zhang 0021 — LinkedIn Corporation, Sunnyvale, CA, USA (and 2 more)
Liang Zhang 0022 — Northeastern University, Boston, MA, USA (and 1 more)
Liang Zhang 0023 — Shi Jiazhuang Tiedao University, School of Civil Engineering, Shijiazhuang, China (and 1 more)
Liang Zhang 0024 — Nanyang Technological University, Singapore
Liang Zhang 0025 — University of Connecticut, Department of Electrical and Computer Engineering, Storrs, CT, USA (and 2 more)
Liang Zhang 0026 — Cooperative Medianet Innovation Center, Shanghai, China (and 1 more)
Liang Zhang 0027 — Chinese Academy of Sciences, Institute of Software, Beijing, China
Liang Zhang 0028 — Queensland University of Technology, School of Electrical Engineering and Computer Science, Brisbane, Australia
Liang Zhang 0029 — Air Force Engineering University, College of Informationa and Navigation, Xi'an, China
Liang Zhang 0030 — Tsinghua University, School of Aerospace Engineering, Beijina, China
Liang Zhang 0031 — Dongbei University of Finance and Economics, International Bussiness College, Dalian, China
Liang Zhang 0032 — Shanghai University, Key Laboratory of Specialty Fiber Optics and Optical Access Networks, Shanghai, China (and 2 more)
Liang Zhang 0033 — Southeast University, School of Instrument Science and Engineering, Key Laboratory of Micro-Inertial Instruments and Advanced Navigation Technology, Nanjing, China
Liang Zhang 0034 — Tongji University, Department of Control Science and Engineering, Shanghai, China
Liang Zhang 0035 — Beijing Institute of Technology, School of Information and Electronics, Radar Research Laboratory, Beijing, China (and 1 more)
Liang Zhang 0036 — China University of Mining and Technology, School of Information and Control Engineering, Xuzhou, China (and 1 more)
Liang Zhang 0037 — Sichuan University, College of Computer, Chengdu, China
Liang Zhang 0038 — IDT Atlanta Design Center, Duluth, GA, USA (and 1 more)

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2006
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/tcad/ZhangGH06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcad/ZhangGH06
Liang Zhang, Indradeep Ghosh, Michael S. Hsiao:
A Framework for Automatic Design Validation of RTL Circuits Using ATPG and Observability-Enhanced Tag Coverage. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 25(11): 2526-2538 (2006)
2005
[b1]
- view
  authority control:
- export record
  dblp key:
  - phd/basesearch/Zhang05a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/basesearch/Zhang05a
Liang Zhang:
Design Verification for Sequential Systems at Various Abstraction Levels. Virginia Tech, Blacksburg, VA, USA, 2005
[c5]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/charme/ZhangPH05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/charme/ZhangPH05
Liang Zhang, Mukul R. Prasad, Michael S. Hsiao:
Interleaved Invariant Checking with Dynamic Abstraction. CHARME 2005: 81-96
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/dac/ZhangPHS05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dac/ZhangPHS05
Liang Zhang, Mukul R. Prasad, Michael S. Hsiao, Thomas Sidle:
Dynamic abstraction using SAT-based BMC. DAC 2005: 754-757
2004
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/iccad/ZhangPH04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccad/ZhangPH04
Liang Zhang, Mukul R. Prasad, Michael S. Hsiao:
Incremental deductive & inductive reasoning for SAT-based bounded model checking. ICCAD 2004: 502-509
2003
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/ats/ZhangHG03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ats/ZhangHG03
Liang Zhang, Michael S. Hsiao, Indradeep Ghosh:
Automatic Design Validation Framework for HDL Descriptions via RTL ATPG. Asian Test Symposium 2003: 148-153
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/itc/ZhangGH03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/itc/ZhangGH03
Liang Zhang, Indradeep Ghosh, Michael S. Hsiao:
Efficient Sequential ATPG for Functional RTL Circuits. ITC 2003: 290-298

a service of

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.