115 search results - page 12 / 23 » Hardware synthesis from protocol specifications in LOTOS |
100
Voted
ICCAD
1999
IEEE
15 years 4 months ago
1999
IEEE
This paper presents a new method to synthesize timed asynchronous circuits directly from the specification without generating a state graph. The synthesis procedure begins with a ...
117
Voted
DATE
2006
IEEE
15 years 5 months ago
2006
IEEE
This paper presents an Application Specific Instruction Set Processor (ASIP) design for the implementation of a class of nonlinear image processing algorithms, the Retinex-like fi...
104
click to vote
DAC
2007
ACM
15 years 3 months ago
2007
ACM
Microfluidic biochips are revolutionizing many areas of biochemistry and biomedical sciences. Several synthesis tools have recently been proposed for the automated design of bioch...
104
Voted
DAC
2006
ACM
16 years 19 days ago
2006
ACM
A novel method to solve the state encoding problem in Signal Transition Graphs is presented. It is based on the structural theory of Petri nets and can be applied to large specifi...
ASPDAC
2005
ACM
15 years 5 months ago
2005
ACM
- Many high-level description languages, such as C/C++ or Java, lack the capability to specify the bitwidth information for variables and operations. Synthesis from these specifica...