A technique for checking a logic design for compliance with a set of design rules in a computer-aided logic design system. An initial logic design is provided in computer-readable form in a logic design file. A set of design rules expressing permitted and prohibited structural and functional logic device...http://www.google.fr/patents/US7398483?utm_source=gb-gplus-shareBrevet US7398483 - Design verification method for programmable logic design
Design verification method for programmable logic design
