Download:
|
by Bruce Wooley
http://akebono.stanford.edu/users/coelho/papers/thesis.ps.gz
Add To MetaCart
Abstract:
by
Citations
|
159
|
The Verilog Hardware Description Language
– Thomas, Moorby
- 1991
|
|
128
|
Synthesis of communicating processes from temporal logic specifications
– Manna, Wolper
- 1984
|
|
44
|
Global Scheduling Independent of Control Dependencies Based on Condition Vectors
– Wakabayashi, Tanaka
- 1992
|
|
14
|
An automaton model for scheduling constraints in synchronous machines
– Takach, Wolf
- 1995
|
|
12
|
The princeton university behavioral synthesis system,” presented at Design Automation Conf
– Wolf, Takach, et al.
- 1992
|
|
10
|
Grammar-Based Specifications and Synthesis for Synchronous Digital Hardware Design
– Seawright
- 1994
|
|
10
|
An example of interactive hardware transformation
– ZHU, JOHNSON
- 1991
|
|
7
|
Structured Hardware Design Transformations
– Zhu
- 1992
|
|
4
|
Automatic synthesis of sequential synchronizations
– Zhu, Johnson
- 1993
|
|
3
|
Capturing synchronization specifications for sequential compositions
– Zhu, Johnson
- 1994
|
|
2
|
Microprogram transformations
– Stabler
- 1970
|
|
1
|
A regular expression compiler
– Trickey, Ullman
- 1982
|
|
1
|
Repeatable Firing Sequences for Petri Nets under Conventional, Subset and Timed Firing Rules
– Wang
- 1988
|
|
1
|
Optimal scheduling for minimum dependence in fsms. Accepted for publication in
– Yen, Wolf
|
