principles of evrifiable RTL design

The conception of a verifiable register transfer level (RTL) philosophy is a product of two factors: one, inherited seat-of-the-pants experiences during the course of large system design; the other, the sort of investigation which may be called “scientific.” Our philosophy falls somewhere between th