InFormal Chat

Archive for the 'Formal Equivalence' Category


21st Century Power SEQers

Power consumption has been an important consideration for IC designs for a while now. Mobile devices today are more powerful than they’ve ever been. I can stream movies, order food, get turn by turn directions and take incredible quality photos and videos using a single device in my pocket… So long as I can make […]

Continue Reading...

Posted in Formal Equivalence |