aboutsummaryrefslogtreecommitdiff
path: root/notes/notes.03.10.15.txt
blob: dee8a53794de08a8c945272efbd8b7f174218579 (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
Lower to ground types

simple declarations:
  wire w : UInt[3]
  ==>
  wire temp1 : UInt
  wire temp2 : UInt
  wire temp3 : UInt

  reg r : UInt[3] ;TODO

bundle declarations:
  wire w : {male data:SInt, female ready:UInt}
  wire temp1 : SInt
  wire temp2 : UInt

other
  wire w : {male data : SInt[3], female ready : UInt}
  wire temp1 : SInt
  wire temp2 : SInt
  wire temp3 : SInt
  wire temp4 : UInt

ports:
  input a : {m: data, m:valid, f:rdy}
  ==>
  input a1
  input a2
  output a3

mem m : {m, 

key function: expand-exp(e:Expression) -> List<[Expression,Gender]>