This paper describes an innovative methodology that makes use of XML-based IP descriptions, including constraints information, to produce automatically synthesis, STA and formal verification tool ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback