Formal pipeline design

DOI10.1007/3-540-44798-9_15MaRDI QIDQ4788547zbMATH OpenFDO

Authors Tiberiu Seceleanu, J. Plosila

Publication date 2 February 2003

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-44798-9_15

Mathematics Subject Classification ID

Mathematical problems of computer architecture (68M07) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Computing methodologies and applications (68U99)

Recommendations

• Formal synthesis for pipeline design
• scientific article; zbMATH DE number 1953116
• Specification of an asynchronous on-chip bus
• scientific article; zbMATH DE number 3943033
• scientific article; zbMATH DE number 4011943

Cited in

(5)

• Formalized structural synthesis of a pipeline processor for measurement data
• scientific article; zbMATH DE number 1953116 (Why is no real title available?)
• Formal synthesis for pipeline design
• An extension of synthesis of the synchronization of object-oriented pipeline systems
• scientific article; zbMATH DE number 2213335 (Why is no real title available?)

This page was built for publication: Formal pipeline design

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4788547)