diff options
Diffstat (limited to 'misc/yosysjs/demo01.html')
| -rw-r--r-- | misc/yosysjs/demo01.html | 237 | 
1 files changed, 237 insertions, 0 deletions
| diff --git a/misc/yosysjs/demo01.html b/misc/yosysjs/demo01.html new file mode 100644 index 000000000..e0ba0248f --- /dev/null +++ b/misc/yosysjs/demo01.html @@ -0,0 +1,237 @@ +<html><head> +	<title>YosysJS Example Application #01</title> +</head><body onload="document.getElementById('command').focus()"> +	<h1>YosysJS Example Application #01</h1> +	<table width="100%"><tr><td><div id="tabs"></div></td><td align="right"><tt>[ <span onclick="load_example()">load example</span> ]</tt></td></tr></table> +	<iframe id="viz" style="display: none"><script type="text/javascript" src="viz.js"></script></iframe> +	<svg id="svg" style="display: none; position: absolute; padding: 10px; width: 100%; height: 80%;"></svg> +	<div><textarea id="output" style="width: 100%" rows="30" cols="100"></textarea></div> +	<div id="wait" style="display: block"><br/><b><span id="waitmsg">Loading...</span></b></div> +	<div id="input" style="display: none"><form onsubmit="window.setTimeout(run_command); return false"><tt><span id="prompt"> +			</span></tt><input id="command" type="text" onkeydown="history(event)" style="font-family: monospace; font-weight: bold;" size="100"></form></div> +	<script type='text/javascript'> +		var got_log_messages = false; +		var history_log = []; +		var history_index = 0; +		var history_bak = ""; + +		function history(ev) { +			if (ev.keyCode == 38) { +				el = document.getElementById('command'); +				if (history_index == history_log.length) +					history_bak = el.value +				if (history_index > 0) +					el.value = history_log[--history_index]; +			} +			if (ev.keyCode == 40) { +				if (history_index < history_log.length) { +					el = document.getElementById('command'); +					if (++history_index < history_log.length) +						el.value = history_log[history_index]; +					else +						el.value = history_bak; +				} +			} +		} + +		var Module = { +			print: (function() { +				var element = document.getElementById('output'); +				if (element) element.value = ''; // clear browser cache +				return function(text) { +					if (!got_log_messages) { +						window.setTimeout(startup, 50); +						got_log_messages = true; +					} +					if (element && typeof(text) != "number") { +						element.value += text + "\n"; +						element.scrollTop = element.scrollHeight; // focus on bottom +					} +				}; +			})(), +			printErr: (function() { +				var element = document.getElementById('output'); +				if (element) element.value = ''; // clear browser cache +				return function(text) { +					if (element && typeof(text) != "number") { +						console.log(text); +						if (got_log_messages) { +							element.value += text + "\n"; +							element.scrollTop = element.scrollHeight; // focus on bottom +						} +					} +				}; +			})(), +		}; + +		var current_file = ""; +		var console_messages = ""; +		var svg_cache = { }; + +		function update_tabs() { +			var f, html = "", flist = FS.readdir('.'); +			if (current_file == "") { +				html += '<tt>[ <b>Console</b>'; +			} else { +				html += '<tt>[ <span onclick="open_file(\'\')">Console</span>'; +			} +			for (i in flist) { +				f = flist[i] +				if (f == "." || f == "..") +					continue; +				if (current_file == f) { +					html += ' | <b>' + f + '</b>'; +				} else { +					html += ' | <span onclick="open_file(\'' + f + '\')">' + f + '</span>'; +				} +			} +			html += ' | <span onclick="open_file(prompt(\'Filename:\'))">new file</span> ]</tt>'; +			document.getElementById('tabs').innerHTML = html; +			if (current_file == "" || /\.dot$/.test(current_file)) { +				var element = document.getElementById('output'); +				element.readOnly = true; +				element.scrollTop = element.scrollHeight; // focus on bottom +				document.getElementById('command').focus(); +			} else { +				document.getElementById('output').readOnly = false; +				document.getElementById('output').focus(); +			} +		} + +		function open_file(filename) +		{ +			if (current_file == "") +				console_messages = document.getElementById('output').value; +			else if (!/\.dot$/.test(current_file)) +				FS.writeFile(current_file, document.getElementById('output').value, {encoding: 'utf8'}); + +			if (filename == "") { +				document.getElementById('output').value = console_messages; +			} else { +				try { +					document.getElementById('output').value = FS.readFile(filename, {encoding: 'utf8'}); +				} catch (e) { +					document.getElementById('output').value = ""; +					FS.writeFile(filename, document.getElementById('output').value, {encoding: 'utf8'}); +				} +			} + +			if (/\.dot$/.test(filename)) { +				dot = document.getElementById('output').value; +				if (!(dot in svg_cache)) { +					el = document.getElementById('viz'); +					svg_cache[dot] = el.contentWindow.Viz(dot, "svg"); +				} +				document.getElementById('svg').innerHTML = svg_cache[dot]; +				document.getElementById('svg').style.display = 'block'; +				document.getElementById('output').value = ''; +			} else { +				document.getElementById('svg').innerHTML = ''; +				document.getElementById('svg').style.display = 'none'; +			} + +			current_file = filename; +			update_tabs() +		} + +		function startup() { +			el = document.getElementById('viz'); +			el.contentWindow.document.open(); +			el.contentWindow.document.write('<script type="text/javascript" src="viz.js"></' + 'script>'); +			el.contentWindow.document.close(); + +			document.getElementById('wait').style.display = 'none'; +			document.getElementById('input').style.display = 'block'; +			document.getElementById('waitmsg').textContent = 'Waiting for yosys.js...'; +			document.getElementById('prompt').textContent = yosys_prompt(); + +			try { FS.mkdir('/work'); } catch (e) { } +			FS.chdir('/work'); + +			update_tabs(); +			console.log('yosys.js loaded.'); +		} + +		function load_example() { +			open_file('') + +			var txt = ""; +			txt += "// a simple yosys.js example. run \"script example.ys\".\n"; +			txt += "\n"; +			txt += "module example(input clk, input rst, input inc, output reg [3:0] cnt);\n"; +			txt += "  always @(posedge clk) begin\n"; +			txt += "    if (rst)\n"; +			txt += "      cnt <= 0;\n"; +			txt += "    else if (inc)\n"; +			txt += "      cnt <= cnt + 1;\n"; +			txt += "  end\n"; +			txt += "endmodule\n"; +			txt += "\n"; +			FS.writeFile('example.v', txt, {encoding: 'utf8'}); + +			var txt = ""; +			txt += "# a simple yosys.js example. run \"script example.ys\".\n"; +			txt += "\n"; +			txt += "design -reset\n"; +			txt += "read_verilog example.v\n"; +			txt += "proc\n"; +			txt += "opt\n"; +			txt += "show\n"; +			txt += "\n"; +			FS.writeFile('example.ys', txt, {encoding: 'utf8'}); + +			open_file('example.ys') +			document.getElementById('command').focus(); +		} + +		function yosys_command(cmd) { +			Module.ccall('run', '', ['string'], [cmd]) +		} + +		function yosys_prompt() { +			return Module.ccall('prompt', 'string', [], []) +		} + +		function run_command() { +			var cmd = document.getElementById('command').value; +			document.getElementById('command').value = ''; +			if (history_log.length == 0 || history_log[history_log.length-1] != cmd) +				history_log.push(cmd); +			history_index = history_log.length; + +			var show_dot_before = ""; +			try { show_dot_before = FS.readFile('show.dot', { encoding: 'utf8' }); } catch (e) { } + +			open_file(''); +			Module.print(yosys_prompt() + cmd); + +			document.getElementById('wait').style.display = 'block'; +			document.getElementById('input').style.display = 'none'; + +			function run_command_bh() { +				try { +					yosys_command(cmd); +				} catch (e) { +					Module.print('Caught JavaScript exception. (see JavaScript console for details.)'); +					console.log(e); +				} + +				document.getElementById('wait').style.display = 'none'; +				document.getElementById('input').style.display = 'block'; +				document.getElementById('prompt').textContent = yosys_prompt(); + +				var show_dot_after = ""; +				try { show_dot_after = FS.readFile('show.dot', { encoding: 'utf8' }); } catch (e) { } + +				if (show_dot_before != show_dot_after) +					open_file('show.dot'); + +				update_tabs(); +			} + +			window.setTimeout(run_command_bh, 50); +			return false; +		} +	</script> +	<script async type="text/javascript" src="yosys.js"></script> +</body></html> | 
