Method and apparatus for word-level netlist preprocessing and analysis using same Grant US-10089427-B2 United States of America 02 Oct 2018
Method and apparatus for word-level netlist reduction and verification using same Grant US-9489477-B2 United States of America 08 Nov 2016
Method and apparatus for memory abstraction and for word level net list reduction and… Grant US-8104000-B2 United States of America 24 Jan 2012
Method and apparatus for memory abstraction and verification using same Grant US-8001498-B2 United States of America 16 Aug 2011