228 search results - page 4 / 46 » Synthesis from Production-Based Specifications |
ICNP
1995
IEEE
14 years 7 days ago
1995
IEEE
VVEIS
2004
13 years 10 months ago
2004
MEMOCODE
2005
IEEE
14 years 2 months ago
2005
IEEE
This paper presents results on processor specification from a specialized high-level finite state machine (FSM) language. The language is an extension and enhancement of earlier...
RSP
1999
IEEE
14 years 29 days ago
1999
IEEE
SDL is currently gaining interest as a system level specification language for HW/SW codesign. Automated synthesis of SDL in hardware so far had problems with its efficiency. The ...
SIGSOFT
2010
ACM
13 years 6 months ago
2010
ACM
In this thesis, I will improve the state-of-the-art for capturing, analyzing, and refining functional requirements by providing support for synthesizing, analyzing, and refining M...