115 search results - page 7 / 23 » Hardware synthesis from protocol specifications in LOTOS |
103
Voted
ICCAD
1998
IEEE
15 years 3 months ago
1998
IEEE
Designers of distributed embedded systems face many challenges in determining the appropriate tradeoffs to make when defining a system architecture or retargeting an existing desi...
80
Voted
ACSD
2009
IEEE
15 years 2 months ago
2009
IEEE
Protocol conversion deals with the automatic synthesis of an additional component, often referred to as an adaptor or a converter, to bridge mismatches between interacting compone...
102
click to vote
ACSD
2001
IEEE
15 years 3 months ago
2001
IEEE
This paper presents a method for the automatic synthesis of asynchronous circuits from Petri net specifications. The method is based on a structural encoding of the system in such ...
108
Voted
RTCSA
2006
IEEE
15 years 5 months ago
2006
IEEE
Hardware/software codesign involves various design problems including system specification, design space exploration, hardware/software co-verification, and system synthesis. A co...
VLSID
2003
IEEE
16 years 1 hour ago
2003
IEEE
Design of efficient System-on-Chips (SoCs) require thorough application analysis to identify various compute intensive parts. These compute intensive parts can be mapped to hardwa...