Critical path minimization using retiming and algebraic speed-up

Integrating program transformations in the memory-based synthesis of image and video algorithms

ICCAD '94 Proceedings of the 1994 IEEE/ACM international conference on Computer-aided design

A transformation-based approach for storage optimization

DAC '95 Proceedings of the 32nd annual ACM/IEEE Design Automation Conference

From VHDL to efficient and first-time-right designs: a formal approach

ACM Transactions on Design Automation of Electronic Systems (TODAES)

Global node reduction of linear systems using ratio analysis

ISSS '94 Proceedings of the 7th international symposium on High-level synthesis

A new optimization technique for improving resource exploitation and critical path minization

ISSS '97 Proceedings of the 10th international symposium on System synthesis

Power optimization using divide-and-conquer techniques for minimization of the number of operations

ACM Transactions on Design Automation of Electronic Systems (TODAES)

Retiming-based factorization for sequential logic optimization

ACM Transactions on Design Automation of Electronic Systems (TODAES)

Dynamic common sub-expression elimination during scheduling in high-level synthesis

Proceedings of the 15th international symposium on System Synthesis

Low Power Synthesis Methodology with Data Format Optimization Applied on a DWT

Journal of VLSI Signal Processing Systems

Coordinated parallelizing compiler optimizations and high-level synthesis

ACM Transactions on Design Automation of Electronic Systems (TODAES)