Patent ID: 7769569
Filing Date: 2010-08-03
Classification: G06F

Abstract:
1. A method of designing a structural level description of an electronic circuit, the method comprising: (a) obtaining data path and control path elements specifying the electronic circuit, wherein at least one control path element is provided in a form of unresolved variable; (b) obtaining a plurality of rules describing, at least, a functional behavior of the electronic circuit; (c) extracting a plurality of unresolved variables among the control path elements; (d) automated processing data path and control path elements for accomplishing a state machine formulation, wherein the states of the state machine include states representing at least combinations of unresolved variables and corresponding transitions satisfying said plurality of rules and predefined design criteria; wherein the automated processing comprises: (i) asserting probable values for unresolved variables among the plurality of unresolved variables and specifying potential combinations of said values; (ii) specifying data path elements being controlled by said plurality of unresolved variables; (iii) validating, in respect of each of the specified combinations of values of unresolved variables among the plurality of the unresolved variables, whether said data path elements comply with said plurality of rules and predefined design criteria and, thus giving rise to valid combinations of values of the plurality of unresolved variables to be specified in states of said state machine.