Specification and analysis of NCL circuits

被引：0

作者：

Ma, J. ^{[1
]}

Kapoor, H.K. ^{[3
]}

Krilavicius, T. ^{[2
]}

Man, K.L. ^{[4
]}

Zhang, N. ^{[4
]}

Lim, E.G. ^{[4
]}

Jeong, T.T. ^{[5
]}

Guan, S.U. ^{[4
]}

Seon, J.K. ^{[6
]}

机构：

[1] Department of Computer Science, University of Liverpool, United Kingdom

[2] Baltic Institute of Advanced Technology, Vilnius, Lithuania and Informatics faculty, Vytautas Magnus University, Kaunas, Lithuania

[3] Department of Computer Science and Engineering, Indian Institute of Technology Guwahati, Assam, India

[4] Xi'an Jiaotong-Liverpool University, Suzhou, China

[5] Myongji University, Korea, Republic of

[6] LS Industrial Systems, Korea, Republic of

来源：

关键词：

Compendex;

D O I：

暂无

中图分类号：

学科分类号：

摘要：

Computer circuits

引用

页码：215 / 222

共 50 条

[1] Automated Specification-Matching Component Selection for Radioelectronic Circuits and Structures.
Frolov, A.D.
Ismailov, B.I.
Kandyrin, Yu.V.
Izvestiya Vysshikh Uchebnykh Zavedenij. Radioelektronika, 1980, 23 (06): : 69 - 73
[2] SPECIFICATION ANALYSIS FOR QUANTAL CHOICE MODELS.
Tardiff, Timothy J.
Transportation Science, 1979, 13 (03) : 179 - 190
[3] Analysis of Transistor Circuits by Modeling.
Bardila, T.
Gerhard, H.
1600, (22):
[4] TRAN - PROGRAM FOR TRANSIENT ANALYSIS OF CIRCUITS
BOWN, GC
ENSTONE, CAG
JEFFERS, R
PROCEEDINGS OF THE INSTITUTION OF ELECTRICAL ENGINEERS-LONDON, 1975, 122 (03): : 253 - 258
[5] Testability Analysis of Digital Circuits.
Voigt, Sylvia
Elektronik Munchen, 1982, 31 (19): : 71 - 75
[6] Analysis of electric circuits by using a computer
Entler, H.
1600, De Gruyter Oldenbourg (14): : 1 - 6
[7] Harmonic Analysis of Nonlinear Circuits.
Chiabrera, Alessandro
Parodi, G.
Vernazza, G.
Viviani, R.
Alta Frequenza, 1976, 45 (09): : 555 - 561
[8] Leveraging the General Transit Feed Specification for Efficient Transit Analysis
Wong, James
TRANSPORTATION RESEARCH RECORD, 2013, (2338) : 11 - 19
[9] EFFICIENT ALGORITHM FOR ANALYSIS OF SCR CIRCUITS.
Dutta, Anup T.
Narayanan, H.
Revankar, G.N.
IETE Journal of Research, 1982, 28 (09) : 487 - 491
[10] Partitioning Method in Symbolic Analysis of Linear Circuits.
Berezko, L.A.
Shapovalov, Yu.I.
Izvestiya Vysshikh Uchebnykh Zavedenij. Radioelektronika, 1980, 23 (06): : 21 - 25