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

来源：

Engineering Letters | 2012年 / 19卷 / 03期

关键词：

Compendex;

D O I：

暂无

中图分类号：

学科分类号：

摘要：

Computer circuits

引用

页码：215 / 222

共 50 条

[21] Fast electromagnetics-based co-simulation of linear network and nonlinear circuits for the analysis of high-speed integrated circuits [J].

School of Electrical and Computer Engineering, Purdue University, West Lafayette, IN 47907, United States .

IEEE Trans. Microwave Theory Tech., 12 PART 1 (3677-3687)

[22] FORMAL METHOD FOR THE SPECIFICATION, ANALYSIS, AND DESIGN OF REGISTER-TRANSFER LEVEL DIGITAL LOGIC. [J].

Hafer, Louis ;

Parker, Alice C. .

Proceedings - Design Automation Conference, 1981, :846-853

[23] Algorithm for the Analysis of Electronic Circuits Using Topological-Matricial Methods. [J].

Zhuikov, V.Ya. ;

Koroteev, I.E. ;

Suchik, V.E. .

Izvestiya Vysshikh Uchebnykh Zavedenij. Radioelektronika, 1979, 22 (06) :38-41

[24] ANALYSIS OF OSCILLATION IN SECOND-ORDER AUTONOMOUS NONLINEAR CIRCUITS AND SYSTEMS. [J].

Xie, Changyan .

1600, (18)

[25] Analysis of Circuits to Measure Capacity in Three-Phase Electric Networks. [J].

Usser, A.S. .

Izvestiya Vysshikh Uchebnykh Zavedenii, Elektromekhanika, 1975, (10) :1065-1069

[26] SPECIFICATION AND TESTING OF VALVES. [J].

Debono, R.J. ;

Christian, J.R. ;

Smelt, A. .

1978, 183 (4712) :150-151

[27] Java bytecode specification and verification [J].

Burdy, Lilian ;

Pavlova, Mariela .

Proc ACM Symp Appl Computing, 1600, (1835-1839)

[28] ON THE SPECIFICATION OF SOFTWARE SUBSYSTEMS. [J].

Keedy, J.L. .

Australian Computer Journal, 1979, 11 (04) :127-132

[29] Integrated Circuits [J].

Van Rossum, M. .

Encycl. of Condens. Matter Phys., (394-403)

[30] ANALYSIS AND SYNTHESIS OF CANONICAL CIRCUITS OF COMB-SHAPED FILTERS OF SECOND ORDER. [J].

Yufryakov, B.A. .

1600, (18)

← 1 2 3 4 5 →