228 search results - page 4 / 46 » Synthesis from Production-Based Specifications |
ICNP
1995
IEEE
15 years 3 months ago
1995
IEEE
VVEIS
2004
15 years 1 months ago
2004
129
click to vote
MEMOCODE
2005
IEEE
15 years 5 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...
105
click to vote
RSP
1999
IEEE
15 years 4 months 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 ...
105
click to vote
SIGSOFT
2010
ACM
14 years 9 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...