mirror of
https://github.com/YosysHQ/yosys
synced 2025-10-27 01:39:23 +00:00
103 lines
3.9 KiB
HTML
103 lines
3.9 KiB
HTML
<html><head>
|
|
<title>YosysJS Example Application #02</title>
|
|
<script type="text/javascript" src="yosysjs.js"></script>
|
|
</head><body>
|
|
<div id="popup" style="position: fixed; left: 0; top: 0; width:100%; height:100%; text-align:center; z-index: 1000;"><div
|
|
style="width:300px; margin: 200px auto; background-color: #88f; border:3px dashed #000;
|
|
padding:15px; text-align:center;"><span id="popupmsg">Loading...</span></div>
|
|
</div>
|
|
<h1>YosysJS Example Application #02</h1>
|
|
<textarea id="code" style="width: 800px; height: 300px;">
|
|
// borrowed with some modifications from
|
|
// http://www.ee.ed.ac.uk/~gerard/Teach/Verilog/manual/Example/lrgeEx2/cooley.html
|
|
module up3down5(clock, data_in, up, down, carry_out, borrow_out, count_out, parity_out);
|
|
|
|
input [8:0] data_in;
|
|
input clock, up, down;
|
|
|
|
output reg [8:0] count_out;
|
|
output reg carry_out, borrow_out, parity_out;
|
|
|
|
reg [9:0] cnt_up, cnt_dn;
|
|
reg [8:0] count_nxt;
|
|
|
|
always @(posedge clock)
|
|
begin
|
|
cnt_dn = count_out - 3'b 101;
|
|
cnt_up = count_out + 2'b 11;
|
|
|
|
case ({up,down})
|
|
2'b 00 : count_nxt = data_in;
|
|
2'b 01 : count_nxt = cnt_dn;
|
|
2'b 10 : count_nxt = cnt_up;
|
|
2'b 11 : count_nxt = count_out;
|
|
default : count_nxt = 9'bX;
|
|
endcase
|
|
|
|
parity_out <= ^count_nxt;
|
|
carry_out <= up & cnt_up[9];
|
|
borrow_out <= down & cnt_dn[9];
|
|
count_out <= count_nxt;
|
|
end
|
|
|
|
endmodule
|
|
</textarea><p/>
|
|
<input type="button" value="Before Behavioral Synth" onclick="synth1()">
|
|
<input type="button" value="After Behavioral Synth" onclick="synth2()">
|
|
<input type="button" value="After RTL Synth" onclick="synth3()">
|
|
<input type="button" value="After Gate-Level Synth" onclick="synth4()"><p/>
|
|
<svg id="svg" width="800"></svg>
|
|
</td></tr></table>
|
|
<script type="text/javascript">
|
|
YosysJS.load_viz();
|
|
function on_ys_ready() {
|
|
document.getElementById('popup').style.visibility = 'hidden';
|
|
document.getElementById('popupmsg').textContent = 'Please wait..';
|
|
}
|
|
function handle_run_errors(logmsg, errmsg) {
|
|
if (errmsg != "") {
|
|
window.alert(errmsg);
|
|
document.getElementById('popup').style.visibility = 'hidden';
|
|
}
|
|
}
|
|
function synth1() {
|
|
document.getElementById('popup').style.visibility = 'visible';
|
|
ys.write_file("input.v", document.getElementById('code').value);
|
|
ys.run('design -reset; read_verilog input.v; show -stretch', handle_run_errors);
|
|
ys.read_file('show.dot', (function(text){
|
|
console.log(ys.errmsg);
|
|
if (ys.errmsg == "") YosysJS.dot_into_svg(text, 'svg');
|
|
document.getElementById('popup').style.visibility = 'hidden';
|
|
}));
|
|
}
|
|
function synth2() {
|
|
document.getElementById('popup').style.visibility = 'visible';
|
|
ys.write_file("input.v", document.getElementById('code').value);
|
|
ys.run('design -reset; read_verilog input.v; proc; opt_clean; show -stretch', handle_run_errors);
|
|
ys.read_file('show.dot', (function(text){
|
|
if (ys.errmsg == "") YosysJS.dot_into_svg(text, 'svg');
|
|
document.getElementById('popup').style.visibility = 'hidden';
|
|
}));
|
|
}
|
|
function synth3() {
|
|
document.getElementById('popup').style.visibility = 'visible';
|
|
ys.write_file("input.v", document.getElementById('code').value);
|
|
ys.run('design -reset; read_verilog input.v; synth -run coarse; show -stretch', handle_run_errors);
|
|
ys.read_file('show.dot', (function(text){
|
|
if (ys.errmsg == "") YosysJS.dot_into_svg(text, 'svg');
|
|
document.getElementById('popup').style.visibility = 'hidden';
|
|
}));
|
|
}
|
|
function synth4() {
|
|
document.getElementById('popup').style.visibility = 'visible';
|
|
ys.write_file("input.v", document.getElementById('code').value);
|
|
ys.run('design -reset; read_verilog input.v; synth -run coarse; synth -run fine; show -stretch', handle_run_errors);
|
|
ys.read_file('show.dot', (function(text){
|
|
if (ys.errmsg == "") YosysJS.dot_into_svg(text, 'svg');
|
|
document.getElementById('popup').style.visibility = 'hidden';
|
|
}));
|
|
}
|
|
var ys = YosysJS.create_worker(on_ys_ready);
|
|
ys.verbose(true);
|
|
</script>
|
|
</body></html>
|