The following pages link to Retiming: Theory and practice (Q4397085):
Displaying 7 items.
- Minimization of circuit registers: Retiming revisited (Q1003739) (← links)
- Variables bounding based retiming algorithm. (Q1433961) (← links)
- Combining extended retiming and unfolding for rate-optimal graph transformation (Q2574208) (← links)
- The Retiming Lemma: A simple proof and applications (Q3122481) (← links)
- Formal Methods in Computer-Aided Design (Q5492974) (← links)
- Tools and Algorithms for the Construction and Analysis of Systems (Q5703775) (← links)
- Design and verification of pipelined circuits with timed Petri nets (Q6160969) (← links)