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 (aka: Zhang Liang) — 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)
Liang Zhang 0039 — Bohai University, College of Control Science and Engineering, Jinzhou, China

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

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.