SCOPUS 정보 검색 플랫폼

Proceedings -Design, Automation and Test in Europe, DATE

Volumn , Issue , 2003, Pages 926-931

Visualization and resolution of coding conflicts in asynchronous circuit design

(4) Madalinski, Agnes a Bystrov, Alex a Khomenko, Victor a Yakovlev, Alex a

a NEWCASTLE UNIVERSITY (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ASYNCHRONOUS CIRCUIT DESIGN; ASYNCHRONOUS CIRCUITS; INTERACTIVE REFINEMENT; REFINEMENT PROCESS; SIGNAL TRANSITION GRAPHS; SUBOPTIMAL SOLUTION; UNFOLDINGS;

DESIGN; EXHIBITIONS; VISUALIZATION;

ASYNCHRONOUS SEQUENTIAL LOGIC;

EID: 3242697757 PISSN: 15301591 EISSN: None Source Type: Conference Proceeding
DOI: 10.1109/DATE.2003.1253724 Document Type: Conference Paper

Times cited : (9)

References (10)

1
- 0003564287
- PhD Thesisfsti MIT/LCS/TR-393
- T.-A. Chu: Synthesis of Self-Timed VLSI Circuits from Graph-Theoretic Specifications. PhD Thesis, MIT/LCS/TR-393 (1987
- (1987) Synthesis of Self-Timed Vlsi Circuits from Graph-Theoretic Specifications
- Chu, T.-A.¹

2
- 0043222261
- Springer Verlag
- J. Cortadella, M. Kishinevsky, A.Kondratyev, L. Lavagno, and A.Yakovlev: Synthesis of Asynchronous Controllers and Interfaces. Springer Verlag (2002
- (2002) Synthesis of Asynchronous Controllers and Interfaces
- Cortadella, J.¹ Kishinevsky, M.² Kondratyev, A.³ Lavagno, L.⁴ Yakovlev, A.⁵

3
- 0003652907
- Automatic handshake expansion and reshuffling using concurrency reduction
- J. Cortadella, M. Kishinevsky, A.Kondratyev, L. Lavagno, and A.Yakovlev: Automatic Handshake Expansion and Reshuffling Using Concurrency Reduction. Proc. of HWPN98, (1998) 86-110
- (1998) Proc. of HWPN98 , pp. 86-110
- Cortadella, J.¹ Kishinevsky, M.² Kondratyev, A.³ Lavagno, L.⁴ Yakovlev, A.⁵

4
- 0031199123
- A region-based theory for state assignment in speed-independent circuits
- J. Cortadella, M. Kishinevsky, A.Kondratyev, L. Lavagno, and A.Yakovlev: A Region-Based Theory for State Assignment in Speed-Independent Circuits. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 16(8) (1997) 793-812
- (1997) IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems , vol.16 , Issue.8 , pp. 793-812
- Cortadella, J.¹ Kishinevsky, M.² Kondratyev, A.³ Lavagno, L.⁴ Yakovlev, A.⁵

5
- 84893765116
- Detecting state coding conflicts in stgs using integer programming
- V. Khomenko, M.Koutny, and A.Yakovlev: Detecting State Coding Conflicts in STGs Using Integer Programming. Proc. of DATE02, IEEE Comp. Soc. Press (2002) 338-345
- (2002) Proc. of DATE02 IEEE Comp. Soc. Press , pp. 338-345
- Khomenko, V.¹ Koutny, M.² Yakovlev, A.³

6
- 0002762764
- Towards asynchronous a-d conversion
- Comp. Soc. Press
- D.J. Kinniment, B. Gao, A.Yakovlev, and F. Xia: Towards asynchronous A-D conversion. Proc. of ASYNC00, IEEE Comp. Soc. Press (2000) 206-215
- (2000) Proc. of ASYNC00 IEEE , pp. 206-215
- Kinniment, D.J.¹ Gao, B.² Yakovlev, A.³ Xia, F.⁴

7
- 84888007175
- UK Asynchronous Forum
- P. Riocreux: Private communication. UK Asynchronous Forum (2002
- (2002) Private Communication
- Riocreux, P.¹

8
- 0344705593
- PhD Thesis University of Newcastle upon Tyne
- A. Semenov: Verification and Synthesis of Asynchronous Control Circuits Using Petri Net Unfoldings. PhD Thesis, University of Newcastle upon Tyne (1997
- (1997) Verification and Synthesis of Asynchronous Control Circuits Using Petri Net Unfoldings
- Semenov, A.¹

9
- 0025560646
- Optimized Synthesis of Asynchronous Control Circuits form Graph-Theoretic Specifications
- Press
- P.Vanbekbergen, F. Catthoor, G. Goossens, and H. De Man: Optimized Synthesis of Asynchronous Control Circuits form Graph-Theoretic Specifications. Proc. of ICCAD90, IEEE Comp. Soc. Press (1990) 184-187
- (1990) Proc. of ICCAD90 IEEE Comp. Soc , pp. 184-187
- Vanbekbergen, P.¹ Catthoor, F.² Goossens, G.³ De Man, H.⁴

10
- 0009342489
- Petri nets and asynchronous bus controller design
- A.Yakovlev and A. Petrov: Petri Nets and Asynchronous Bus Controller Design. Proc. of ICATPN90, (1990) 244-262
- (1990) Proc. of ICATPN90 , pp. 244-262
- Yakovlev, A.¹ Petrov, A.²

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