2
; Copyright (C) 2008-2014 Centaur Technology
5
; Centaur Technology Formal Verification Group
6
; 7600-C N. Capital of Texas Highway, Suite 300, Austin, TX 78731, USA.
7
; http://www.centtech.com/
9
; License: (An MIT/X11-style license)
11
; Permission is hereby granted, free of charge, to any person obtaining a
12
; copy of this software and associated documentation files (the "Software"),
13
; to deal in the Software without restriction, including without limitation
14
; the rights to use, copy, modify, merge, publish, distribute, sublicense,
15
; and/or sell copies of the Software, and to permit persons to whom the
16
; Software is furnished to do so, subject to the following conditions:
18
; The above copyright notice and this permission notice shall be included in
19
; all copies or substantial portions of the Software.
21
; THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
22
; IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
23
; FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
24
; AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
25
; LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING
26
; FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER
27
; DEALINGS IN THE SOFTWARE.
29
; Original author: Jared Davis <jared@centtech.com>
32
(include-book "xf-portdecl-sign")
33
(include-book "xf-argresolve")
34
(include-book "xf-orig")
35
(include-book "xf-designwires")
36
(include-book "xf-follow-hids")
37
(include-book "xf-resolve-indexing")
38
(include-book "xf-clean-warnings")
39
(include-book "cn-hooks")
40
(include-book "../checkers/duplicate-detect")
41
(include-book "../checkers/portcheck")
42
(include-book "../util/cwtime")
44
(define vl-annotate-design
46
:short "Meta-transform. Applies several basic, preliminary transforms to
47
annotate the original modules in various ways."
48
((design vl-design-p))
49
:returns (new-design vl-design-p)
51
(b* ((design (xf-cwtime (vl-design-duplicate-detect design)
52
:name xf-duplicate-detect))
53
(design (xf-cwtime (vl-design-portcheck design)
55
(design (xf-cwtime (vl-design-designwires design)
56
:name xf-mark-design-wires))
57
(design (xf-cwtime (vl-design-portdecl-sign design)
58
:name xf-crosscheck-port-signedness))
59
(design (xf-cwtime (vl-design-resolve-indexing design)
60
:name xf-resolve-indexing))
61
(design (xf-cwtime (vl-design-argresolve design)
63
(design (xf-cwtime (vl-design-origexprs design)
65
(design (xf-cwtime (mp-verror-transform-hook design)
67
(design (xf-cwtime (vl-design-clean-warnings design)
68
:name xf-clean-warnings)))