Abstract
In the context of specification of complex digital systems and their implementation on FPGA, a tool-based methodology is developed using a component-based approach. The component's behavior is described by means of Interpreted Prioritized Time Petri nets which are formalized in this article. Formal analysis is used to validate the model's properties and to optimize its implementation. Our approach is illustrated on the micro machine of a distributed stimulation unit. © Springer-Verlag 2013.
Author supplied keywords
Cite
CITATION STYLE
Leroux, H., Godary-Dejean, K., & Andreu, D. (2013). Complex digital system design: A methodology and its application to medical implants. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 8187 LNCS, pp. 94–107). https://doi.org/10.1007/978-3-642-41010-9_7
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
