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
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
use super::ok_hi::OpalKellyHostInterface;
use crate::core::prelude::*;
#[derive(Clone, Debug, LogicBlock)]
pub struct OpalKellyHost {
pub hi: OpalKellyHostInterface,
pub ok1: Signal<Out, Bits<31>>,
pub ok2: Signal<In, Bits<17>>,
pub ti_clk: Signal<Out, Clock>,
}
impl Logic for OpalKellyHost {
fn update(&mut self) {}
fn connect(&mut self) {
self.ok1.connect();
self.ok2.connect();
self.hi.sig_in.connect();
self.hi.sig_out.connect();
self.hi.sig_inout.connect();
self.hi.sig_aa.connect();
self.hi.sig_mux.connect();
self.ti_clk.connect();
}
fn hdl(&self) -> Verilog {
Verilog::Blackbox(BlackBox {
code: r#"
module OpalKellyHost
(
input wire [7:0] hi$sig_in,
output wire [1:0] hi$sig_out,
inout wire [15:0] hi$sig_inout,
inout wire hi$sig_aa,
output wire hi$sig_mux,
output wire ti_clk,
output wire [30:0] ok1,
input wire [16:0] ok2
);
assign hi$sig_mux = 1'b0;
okHost host(.hi_in(hi$sig_in),
.hi_out(hi$sig_out),
.hi_inout(hi$sig_inout),
.hi_aa(hi$sig_aa),
.ti_clk(ti_clk),
.ok1(ok1),
.ok2(ok2));
endmodule
(* blackbox *)
module okHost(
input wire [7:0] hi_in,
output wire [1:0] hi_out,
inout wire [15:0] hi_inout,
inout wire hi_aa,
output wire ti_clk,
output wire [30:0] ok1,
input wire [16:0] ok2);
endmodule
"#
.into(),
name: "OpalKellyHost".into(),
})
}
}
impl OpalKellyHost {
pub fn xem_6010() -> Self {
let hi = OpalKellyHostInterface::xem_6010();
Self {
hi,
ok1: Signal::default(),
ok2: Signal::default(),
ti_clk: Signal::default(),
}
}
pub fn xem_7010() -> Self {
let hi = OpalKellyHostInterface::xem_7010();
Self {
hi,
ok1: Signal::default(),
ok2: Signal::default(),
ti_clk: Signal::default(),
}
}
}
#[test]
fn test_host_interface_synthesizes() {
let mut uut = TopWrap::new(OpalKellyHost::xem_6010());
uut.uut.ok2.connect();
uut.uut.hi.sig_in.connect();
uut.connect_all();
yosys_validate("okhi", &generate_verilog(&uut)).unwrap();
}