blob: 908f70ff0b5b71857733cd5fdc3331dc33fd1e90 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
|
;defpackage firrtl/custom-compiler :
; import core
; import verse
; import firrtl/ir-utils
; import firrtl/ir2
; import firrtl/passes
; import firrtl/errors
; import firrtl/verilog
; import firrtl/custom-passes
;
;public defstruct InstrumentedVerilog <: Compiler :
; with-output: (() -> False) -> False with: (as-method => true)
; args: List<String>
;public defmethod passes (c:InstrumentedVerilog) -> List<Pass> :
; to-list $ [
; WhenCoverage(args(c)[0],args(c)[1])
; RemoveSpecialChars()
; RemoveScopes()
; CheckHighForm()
; TempElimination()
; ToWorkingIR()
; ;; MakeExplicitReset()
; ResolveKinds()
; CheckKinds()
; InferTypes()
; CheckTypes()
; ResolveGenders()
; CheckGenders()
; ExpandAccessors()
; LowerToGround()
; InlineIndexed()
; InferTypes()
; CheckGenders()
; ExpandWhens()
; InferWidths()
; ;Pad()
; ConstProp()
; SplitExp()
; ToRealIR()
; ;RemoveSpecialChars()
; CheckHighForm()
; CheckLowForm()
; CheckInitialization()
; Verilog(with-output(c))
; ]
;
;
|
