Cited By
View all- Venkataramani GGoldstein SGebotys CMartin G(2008)Slack analysis in the system design loopProceedings of the 6th IEEE/ACM/IFIP international conference on Hardware/Software codesign and system synthesis10.1145/1450135.1450189(231-236)Online publication date: 19-Oct-2008
- (2006)Low-power hardware synthesis from TRS-based specificationsProceedings of the Fourth ACM/IEEE International Conference on Formal Methods and Models for Co-Design10.5555/3041403.3041419(49-58)Online publication date: 1-Jan-2006
- Gu ZWang JDick RZhou HJoyner WMartin GKahng A(2005)Incremental exploration of the combined physical and behavioral design spaceProceedings of the 42nd annual Design Automation Conference10.1145/1065579.1065635(208-213)Online publication date: 13-Jun-2005
- Show More Cited By