Cited By
View all- Velev MGao PChang Y(2014)Improving the efficiency of automated debugging of pipelined microprocessors by symmetry breaking in modular schemes for boolean encoding of cardinalityProceedings of the 2014 IEEE/ACM International Conference on Computer-Aided Design10.5555/2691365.2691502(676-683)Online publication date: 3-Nov-2014
- 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
- Velev MGao PPhillips JHu AGraeb H(2011)Automatic formal verification of multithreaded pipelined microprocessorsProceedings of the International Conference on Computer-Aided Design10.5555/2132325.2132476(679-686)Online publication date: 7-Nov-2011
- Show More Cited By