Simulation approach to provably correct hardware compilation

He Jifeng; Zheng Jianping

doi:10.1007/3-540-58468-4_172

Simulation approach to provably correct hardware compilation

He Jifeng
, Zheng Jianping

University of Oxford

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Original language	English
Title of host publication	Formal Techniques in Real-Time and Fault-Tolerant Systems - 3rd International Symposium Organized Jointly with the Working Group Provably Correct Systems - ProCoS, Proceedings
Editors	Hans Langmaack, Willem-Paul de Roever, Jan Vytopil, Jan Vytopil
Publisher	Springer Verlag
Pages	336-350
Number of pages	15
ISBN (Print)	9783540584681
DOIs	https://doi.org/10.1007/3-540-58468-4_172
State	Published - 1994
Externally published	Yes
Event	3rd International Symposium on Formal Techniques in Real Time and Fault Tolerance Organized Jointly with Working Group Provably Correct Systems, ProCoS 1994 - Lubeck, Germany Duration: 19 Sep 1994 → 23 Sep 1994

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	863 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	3rd International Symposium on Formal Techniques in Real Time and Fault Tolerance Organized Jointly with Working Group Provably Correct Systems, ProCoS 1994
Country/Territory	Germany
City	Lubeck
Period	19/09/94 → 23/09/94

Access to Document

10.1007/3-540-58468-4_172

Cite this

Jifeng, H., & Jianping, Z. (1994). Simulation approach to provably correct hardware compilation. In H. Langmaack, W.-P. de Roever, J. Vytopil, & J. Vytopil (Eds.), Formal Techniques in Real-Time and Fault-Tolerant Systems - 3rd International Symposium Organized Jointly with the Working Group Provably Correct Systems - ProCoS, Proceedings (pp. 336-350). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 863 LNCS). Springer Verlag. https://doi.org/10.1007/3-540-58468-4_172

Jifeng, He ; Jianping, Zheng. / Simulation approach to provably correct hardware compilation. Formal Techniques in Real-Time and Fault-Tolerant Systems - 3rd International Symposium Organized Jointly with the Working Group Provably Correct Systems - ProCoS, Proceedings. editor / Hans Langmaack ; Willem-Paul de Roever ; Jan Vytopil ; Jan Vytopil. Springer Verlag, 1994. pp. 336-350 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{64e58d6e86cf42559305bb7650b635ae,

title = "Simulation approach to provably correct hardware compilation",

author = "He Jifeng and Zheng Jianping",

year = "1994",

doi = "10.1007/3-540-58468-4\_172",

language = "英语",

isbn = "9783540584681",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "336--350",

editor = "Hans Langmaack and \{de Roever\}, Willem-Paul and Jan Vytopil and Jan Vytopil",

booktitle = "Formal Techniques in Real-Time and Fault-Tolerant Systems - 3rd International Symposium Organized Jointly with the Working Group Provably Correct Systems - ProCoS, Proceedings",

address = "德国",

note = "3rd International Symposium on Formal Techniques in Real Time and Fault Tolerance Organized Jointly with Working Group Provably Correct Systems, ProCoS 1994 ; Conference date: 19-09-1994 Through 23-09-1994",

}

Jifeng, H & Jianping, Z 1994, Simulation approach to provably correct hardware compilation. in H Langmaack, W-P de Roever, J Vytopil & J Vytopil (eds), Formal Techniques in Real-Time and Fault-Tolerant Systems - 3rd International Symposium Organized Jointly with the Working Group Provably Correct Systems - ProCoS, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 863 LNCS, Springer Verlag, pp. 336-350, 3rd International Symposium on Formal Techniques in Real Time and Fault Tolerance Organized Jointly with Working Group Provably Correct Systems, ProCoS 1994, Lubeck, Germany, 19/09/94. https://doi.org/10.1007/3-540-58468-4_172

Simulation approach to provably correct hardware compilation. / Jifeng, He; Jianping, Zheng.
Formal Techniques in Real-Time and Fault-Tolerant Systems - 3rd International Symposium Organized Jointly with the Working Group Provably Correct Systems - ProCoS, Proceedings. ed. / Hans Langmaack; Willem-Paul de Roever; Jan Vytopil; Jan Vytopil. Springer Verlag, 1994. p. 336-350 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 863 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Simulation approach to provably correct hardware compilation

AU - Jifeng, He

AU - Jianping, Zheng

PY - 1994

Y1 - 1994

UR - https://www.scopus.com/pages/publications/85026884723

U2 - 10.1007/3-540-58468-4_172

DO - 10.1007/3-540-58468-4_172

M3 - 会议稿件

AN - SCOPUS:85026884723

SN - 9783540584681

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 336

EP - 350

BT - Formal Techniques in Real-Time and Fault-Tolerant Systems - 3rd International Symposium Organized Jointly with the Working Group Provably Correct Systems - ProCoS, Proceedings

A2 - Langmaack, Hans

A2 - de Roever, Willem-Paul

A2 - Vytopil, Jan

PB - Springer Verlag

T2 - 3rd International Symposium on Formal Techniques in Real Time and Fault Tolerance Organized Jointly with Working Group Provably Correct Systems, ProCoS 1994

Y2 - 19 September 1994 through 23 September 1994

ER -

Jifeng H, Jianping Z. Simulation approach to provably correct hardware compilation. In Langmaack H, de Roever WP, Vytopil J, Vytopil J, editors, Formal Techniques in Real-Time and Fault-Tolerant Systems - 3rd International Symposium Organized Jointly with the Working Group Provably Correct Systems - ProCoS, Proceedings. Springer Verlag. 1994. p. 336-350. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/3-540-58468-4_172

Simulation approach to provably correct hardware compilation

Publication series

Conference

Access to Document

Other files and links

Cite this