SCOPUS 정보 검색 플랫폼 - 논문 보기

메뉴 건너뛰기

Volumn 21, Issue 1, 1991, Pages 91-107

Consistency and satisfiability of waveform timing specifications

(3) Brzozowski, J A a Gahlinger, T a Mavaddat, F a

a UNIVERSITY OF WATERLOO (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84987028346 PISSN: 00283045 EISSN: 10970037 Source Type: Journal
DOI: 10.1002/net.3230210107 Document Type: Article

Times cited : (19)

References (12)

1
- 84986929264
- A new interface specification methodology and its application to transducer synthesis. Ph.D. Thesis, Computer Science Division, EECS, University of California, Berkeley, May
- (1988)
- Borriello, G.¹

2
- 84989495069
- Timing verification and the timing analysis program. 19th Design Automation Conference, IEEE
- (1982) , pp. 594-604
- Hitchcock, R.B.¹

3
- 84986984429
- Motorola, Inc., 8‐Bit Microprocessor and Peripheral Data
- (1983)

4
- 84986957425
- Combinatorial Optimization: Algorithms and Complexity. Prentice‐Hall, Englewood Cliffs, NJ
- (1982)
- Papadimitriou, C.¹ Steiglitz, K.²

5
- 2542617487
- Interfacing fundamentals: Timing diagram conventions
- January
- (1980) Comput. Design , pp. 152-153
- Rony, P.¹

6
- 2542519885
- VLSI circuit analysis, timing verification and optimization
- W. Fichter, M. Morf, Kluwer, Boston
- (1987) VLSI CAD Tools and Applications , pp. 129-146
- Ruehli, A.¹ Ostapko, D.L.²

7
- 0015141958
- Making sense out of delay specs in semiconductor memories
- October
- (1971) Electronics , pp. 82-88
- Springer, J.¹

8
- 0004190201
- SIAM, Philadelphia
- (1983) Data Structures and Network Algorithms
- Tarjan, R.E.¹

9
- 84986977963
- MOS Memory Products Databook 82–83
- (1984)

10
- 0022795057
- Clocking schemes for high speed digital systems
- (1986) IEEE Trans. Comput. , vol.100-135 , pp. 880-895
- Unger, S.H.¹ Tan, C.J.²

11
- 2542605233
- McGraw‐Hill, New York
- (1980) Logic Circuits and Microcomputer Systems
- Wiatrowski, C.¹ House, C.²

12
- 84986941037
- Zilog, Inc., 1982/ 1983 Data Book
- (1983)

* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.