1,448 followers
@danghica @rwolffoot @watislaw For example, this paper. As far as I'm aware, his techniques have no rivals in hardware verification. https://t.co/nCQXYcemjQ
@danghica @rwolffoot @watislaw For example, this paper. As far as I'm aware, his techniques have no rivals in hardware verification. https://t.co/nCQXYcemjQ