Cited By
View all- Wilsey PDasgupta S(2006)A formal model of computer architectures for digital system design environmentsIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems10.1109/43.551799:5(473-486)Online publication date: 1-Nov-2006
- Piloty RBorrione DBarbacci MDietmeyer DHill FSkelly P(2005)Introduction and general philosophyCONLAN Report10.1007/3-540-12275-3_6(1-20)Online publication date: 31-May-2005
- Singh S(2003)System level specification in Lava2003 Design, Automation and Test in Europe Conference and Exhibition10.1109/DATE.2003.1253636(370-375)Online publication date: 2003
- Show More Cited By