Cited By
View all- Takano S(2012)Design and analysis of adaptive processorACM Transactions on Reconfigurable Technology and Systems10.1145/2133352.21333575:1(1-34)Online publication date: 23-Mar-2012
- Srinivasan SKatti RBjesse PSlobodová A(2011)DesynchronizationProceedings of the International Conference on Formal Methods in Computer-Aided Design10.5555/2157654.2157687(215-222)Online publication date: 30-Oct-2011
- Brady BBryant RSeshia SBjesse PSlobodová A(2011)Learning conditional abstractionsProceedings of the International Conference on Formal Methods in Computer-Aided Design10.5555/2157654.2157674(116-124)Online publication date: 30-Oct-2011
- Show More Cited By