Author:
Ismail Tarek Ben,Daveau Jean-Marc,O'Brien Kevin,Jerraya Ahmed Amine
Subject
Artificial Intelligence,Computer Networks and Communications,Hardware and Architecture,Software
Reference18 articles.
1. Synthesis steps and design models for codesign;Ben Ismail;IEEE Comput.,1995
2. CCITT SDL: An overview of the language and its applications;Saracco;Comput. Netw. ISDN Syst.,1987
3. A prototyping environment for control-oriented HW/SW systems using state-charts, activity-charts and FPGA's;Buchenrieder,1994
4. Statement: A working environment for the development of complex reactive systems;Harel;IEEE Trans. Softw. Eng.,1990
5. Communicating sequential processes;Hoare;Comm. ACM.,1978
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Related Work and Outlook;Correct-by-Construction Approaches for SoC Design;2013-07-19
2. A formal method for hardware IP design and integration under I/O and timing constraints;ACM Transactions on Embedded Computing Systems;2006-02