diff --git a/misc/yosysjs/demo01.html b/misc/yosysjs/demo01.html
deleted file mode 100644
index 3f9f737e9..000000000
--- a/misc/yosysjs/demo01.html
+++ /dev/null
@@ -1,197 +0,0 @@
-<html><head>
-	<title>YosysJS Example Application #01</title>
-	<script type="text/javascript" src="yosysjs.js"></script>
-</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>
-	<svg id="svg" style="display: none; position: absolute; padding: 10px; width: calc(100% - 40px); height: 480px;"></svg>
-	<div><textarea id="output" style="width: 100%; height: 500px"></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"><br/><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'>
-		function print_output(text) {
-			var el = document.getElementById('output');
-			el.value += text + "\n";
-		}
-
-		YosysJS.load_viz();
-		var ys = YosysJS.create("", function() {
-			print_output(ys.print_buffer);
-
-			document.getElementById('wait').style.display = 'none';
-			document.getElementById('input').style.display = 'block';
-			document.getElementById('waitmsg').textContent = 'Waiting for yosys.js...';
-			document.getElementById('prompt').textContent = ys.prompt();
-
-			update_tabs();
-		});
-
-		ys.echo = true;
-
-		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 current_file = "";
-		var console_messages = "";
-		var svg_cache = { };
-
-		function update_tabs() {
-			var f, html = "", flist = ys.read_dir('.');
-			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))
-				ys.write_file(current_file, document.getElementById('output').value);
-
-			if (filename == "") {
-				document.getElementById('output').value = console_messages;
-			} else {
-				try {
-					document.getElementById('output').value = ys.read_file(filename);
-				} catch (e) {
-					document.getElementById('output').value = "";
-					ys.write_file(filename, document.getElementById('output').value);
-				}
-			}
-
-			if (/\.dot$/.test(filename)) {
-				dot = document.getElementById('output').value;
-				YosysJS.dot_into_svg(dot, 'svg');
-				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() {
-		}
-
-		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";
-			ys.write_file('example.v', txt);
-
-			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";
-			ys.write_file('example.ys', txt);
-
-			open_file('example.ys')
-			document.getElementById('command').focus();
-		}
-
-		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 = ys.read_file('show.dot'); } catch (e) { }
-
-			open_file('');
-
-			document.getElementById('wait').style.display = 'block';
-			document.getElementById('input').style.display = 'none';
-
-			function run_command_bh() {
-				try {
-					ys.run(cmd);
-				} catch (e) {
-					ys.write('Caught JavaScript exception. (see JavaScript console for details.)');
-					console.log(e);
-				}
-				print_output(ys.print_buffer);
-
-				document.getElementById('wait').style.display = 'none';
-				document.getElementById('input').style.display = 'block';
-				document.getElementById('prompt').textContent = ys.prompt();
-
-				var show_dot_after = "";
-				try { show_dot_after = ys.read_file('show.dot'); } catch (e) { }
-
-				if (show_dot_before != show_dot_after)
-					open_file('show.dot');
-
-				update_tabs();
-			}
-
-			window.setTimeout(run_command_bh, 50);
-			return false;
-		}
-	</script>
-</body></html>
diff --git a/misc/yosysjs/demo02.html b/misc/yosysjs/demo02.html
deleted file mode 100644
index 9191db98d..000000000
--- a/misc/yosysjs/demo02.html
+++ /dev/null
@@ -1,103 +0,0 @@
-<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  &lt;= ^count_nxt;
-	carry_out   &lt;= up &amp; cnt_up[9];
-	borrow_out  &lt;= down &amp; cnt_dn[9];
-	count_out   &lt;= 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>
diff --git a/misc/yosysjs/demo03.html b/misc/yosysjs/demo03.html
deleted file mode 100644
index c2ca40ef5..000000000
--- a/misc/yosysjs/demo03.html
+++ /dev/null
@@ -1,103 +0,0 @@
-<html><head>
-<title>YosysJS Example Application #02</title>
-<script type="text/javascript" src="yosysjs.js"></script>
-<script type="text/javascript" src="https://cdnjs.cloudflare.com/ajax/libs/wavedrom/2.8.1/skins/default.min.js" ></script>
-<script type="text/javascript" src="https://cdnjs.cloudflare.com/ajax/libs/wavedrom/2.8.1/wavedrom.min.js"></script>
-<style type="text/css">
-.noedit { color: #666; }
-</style>
-<script id="golden_verilog" type="text/plain">
-module ref(input clk, reset, input [7:0] A, output reg [7:0] Y);
-	always @(posedge clk) begin
-		if (reset)
-			Y <= 0;
-		else
-			Y <= ((Y << 5) + Y) ^ A;
-	end
-endmodule
-</script>
-</head><body>
-	<div id="popup" style="position: fixed; left: 0; top: 0; width:100%; height:100%; text-align:center; z-index: 1000;
-		background-color: rgba(100, 100, 100, 0.5);"><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 #03</h1>
-	<b>Your mission:</b> Create a behavioral Verilog model for the following circuit:
-	<p/>
-	<div id="main" style="visibility: hidden">
-		<svg id="schem" width="800"></svg>
-		<p/>
-		<pre id="code" style="width: 800px; border:2px solid #000; padding: 0.5em;"><span class="noedit">module top(input clk, reset, input [7:0] A, output reg [7:0] Y);
-  always @(posedge clock) begin</span><span class="edit" contenteditable="true">
-    Y &lt;= A | {4{reset}};
-  </span><span class="noedit">end
-endmodule</span></pre><p/>
-		<input type="button" value="Check Model" onclick="check_model()"> <span id="checkmessage"></span>
-		<p/>
-		<p id="wave">&nbsp;</p>
-	</div>
-	<script type="text/javascript">
-		function on_ys_ready() {
-			ys.write_file('golden.v', document.getElementById('golden_verilog').textContent);
-			ys.run('echo on; read_verilog golden.v; proc;;');
-			ys.run('show -notitle -width -stretch');
-			YosysJS.dot_into_svg(ys.read_file('show.dot'), 'schem');
-			document.getElementById('popup').style.visibility = 'hidden';
-			document.getElementById('popupmsg').textContent = 'Please wait..';
-			document.getElementById('main').style.visibility = 'visible';
-		}
-		function check_model() {
-			function work() {
-				ys.remove_file('wave.json');
-				ys.write_file('code.v', document.getElementById('code').textContent);
-				ys.errmsg = '';
-				ys.run('design -reset; read_verilog code.v; hierarchy -top top; proc; opt; flatten; hierarchy; ' +
-					'read_verilog golden.v; proc; miter -equiv -ignore_gold_x -make_outputs -flatten ref top miter; ' +
-					'hierarchy -top miter; clean -purge; sat -set-init-undef -seq 8 -dump_json wave.json -show-ports ' +
-					'-max_undef -prove trigger 0 miter');
-				w = document.getElementById('wave')
-				if (ys.errmsg) {
-					w.innerHTML = '<b><pre>ERROR: ' + ys.errmsg.replace('&', '&amp;').replace('<', '&lt;').replace('>', '&gt;') + '</pre></b>';
-				} else {
-					wdata = ys.read_file('wave.json');
-					if (wdata) {
-						wdata = JSON.parse(wdata);
-						function wsignal(signame, newname) {
-							for (i = 0; i < wdata["signal"].length; i++)
-								if (wdata["signal"][i].name == signame) {
-									if (newname)
-										wdata["signal"][i].name = newname;
-									return wdata["signal"][i];
-								}
-							return {};
-						}
-						wdata2 = {
-							"signal" : [
-								{ name: 'clk', wave: 'P........' },
-								wsignal("trigger"),
-								{},
-								[ "Inputs", wsignal("in_reset", "reset"), wsignal("in_A", "A") ],
-								{},
-								[ "Y Output", wsignal("gold_Y", "Ref"), wsignal("gate_Y", "UUT") ],
-							],
-							"config" : wdata["config"]
-						};
-						wdata2 = JSON.stringify(wdata2)
-						w.innerHTML = '<b>The model did not pass verification:</b><p/>' +
-								'<script type="WaveDrom">' + wdata2 + '<\/script>';
-						WaveDrom.ProcessAll();
-					} else {
-						w.innerHTML = '<b>Congratulations! The model did pass verification.</b><p/>';
-					}
-				}
-				document.getElementById('popup').style.visibility = 'hidden';
-			}
-			document.getElementById('popup').style.visibility = 'visible';
-			window.setTimeout(work, 100);
-		}
-
-		YosysJS.load_viz();
-		var ys = YosysJS.create('', on_ys_ready);
-		ys.logprint = true;
-	</script>
-</body></html>
diff --git a/misc/yosysjs/yosysjs.js b/misc/yosysjs/yosysjs.js
deleted file mode 100644
index ea98c9b51..000000000
--- a/misc/yosysjs/yosysjs.js
+++ /dev/null
@@ -1,312 +0,0 @@
-var YosysJS = new function() {
-	this.script_element = document.currentScript;
-	this.viz_element = undefined;
-	this.viz_ready = true;
-
-	this.url_prefix = this.script_element.src.replace(/[^/]+$/, '')
-
-	this.load_viz = function() {
-		if (this.viz_element)
-			return;
-
-		this.viz_element = document.createElement('iframe')
-		this.viz_element.style.display = 'none'
-		document.body.appendChild(this.viz_element);
-
-		this.viz_element.contentWindow.document.open();
-		this.viz_element.contentWindow.document.write('<script type="text/javascript" onload="viz_ready = true;" src="' + this.url_prefix + 'viz.js"></' + 'script>');
-		this.viz_element.contentWindow.document.close();
-
-		var that = this;
-		function check_viz_ready() {
-			if (that.viz_element.contentWindow.viz_ready) {
-				console.log("YosysJS: Successfully loaded Viz.");
-				that.viz_ready = true;
-			} else
-				window.setTimeout(check_viz_ready, 100);
-		}
-
-		this.viz_ready = false;
-		window.setTimeout(check_viz_ready, 100);
-	}
-
-	this.dot_to_svg = function(dot_text) {
-		return this.viz_element.contentWindow.Viz(dot_text, "svg");
-	}
-
-	this.dot_into_svg = function(dot_text, svg_element) {
-		if (typeof(svg_element) == 'string' && svg_element != "")
-			svg_element = document.getElementById(svg_element);
-		svg_element.innerHTML = this.dot_to_svg(dot_text);
-		c = svg_element.firstChild;
-		while (c) {
-			if (c.tagName == 'svg') {
-				while (c.firstChild)
-					svg_element.appendChild(c.firstChild);
-				svg_element.setAttribute('viewBox', c.getAttribute('viewBox'));
-				// svg_element.removeChild(c);
-				break;
-			}
-			c = c.nextSibling;
-		}
-	}
-
-	this.create = function(reference_element, on_ready) {
-		var ys = new Object();
-		ys.YosysJS = this;
-		ys.init_script = "";
-		ys.ready = false;
-		ys.verbose = false;
-		ys.logprint = false;
-		ys.echo = false;
-		ys.errmsg = "";
-
-		if (typeof(reference_element) == 'string' && reference_element != "")
-			reference_element = document.getElementById(reference_element);
-
-		if (reference_element) {
-			if (reference_element.tagName == 'textarea')
-				ys.init_script = reference_element.value;
-
-			if (reference_element.tagName == 'iframe') {
-				ys.iframe_element = reference_element;
-			} else {
-				ys.iframe_element = document.createElement('iframe');
-				ys.iframe_element.id = reference_element.id;
-				for (i in reference_element.style)
-					ys.iframe_element.style[i] = reference_element.style[i];
-				reference_element.parentNode.insertBefore(ys.iframe_element, reference_element);
-				reference_element.parentNode.removeChild(reference_element);
-			}
-		} else {
-			ys.iframe_element = document.createElement('iframe');
-			ys.iframe_element.style.display = 'none';
-			document.body.appendChild(ys.iframe_element);
-		}
-
-		ys.print_buffer = "";
-		ys.last_line_empty = false;
-		ys.got_normal_log_message = false;
-		ys.window = ys.iframe_element.contentWindow;
-
-		var doc = ys.window.document;
-		var mod = ys.window.Module = {
-			print: function(text) {
-				if (typeof(text) == 'number')
-					return;
-				ys.print_buffer += text + "\n";
-				ys.got_normal_log_message = true;
-				if (ys.logprint)
-					console.log(text);
-				if (ys.verbose) {
-					ys.last_line_empty = text == "";
-					if (text == "") {
-						span = doc.createElement('br');
-					} else {
-						span = doc.createElement('span');
-						span.textContent = text + "\n";
-						span.style.fontFamily = 'monospace';
-						span.style.whiteSpace = 'pre';
-					}
-					doc.firstChild.appendChild(span);
-					if (doc.body)
-						ys.window.scrollTo(0, doc.body.scrollHeight);
-					else
-						ys.window.scrollBy(0, 100);
-				}
-				ys.ready = true;
-			},
-			printErr: function(text) {
-				if (typeof(text) == 'number')
-					return;
-				if (ys.logprint)
-					console.log(text);
-				if (ys.got_normal_log_message) {
-					ys.print_buffer += text + "\n";
-					ys.last_line_empty = text == "";
-					if (text == "") {
-						span = doc.createElement('br');
-					} else {
-						span = doc.createElement('span');
-						span.textContent = text + "\n";
-						span.style.fontFamily = 'monospace';
-						span.style.whiteSpace = 'pre';
-						span.style.color = 'red';
-					}
-					doc.firstChild.appendChild(span);
-					if (doc.body)
-						ys.window.scrollTo(0, doc.body.scrollHeight);
-					else
-						ys.window.scrollBy(0, 100);
-				} else
-				if (!ys.logprint)
-					console.log(text);
-			},
-		};
-
-		ys.write = function(text) {
-			ys.print_buffer += text + "\n";
-			ys.last_line_empty = text == "";
-			span = doc.createElement('span');
-			span.textContent = text + "\n";
-			span.style.fontFamily = 'monospace';
-			span.style.whiteSpace = 'pre';
-			doc.firstChild.appendChild(span);
-			if (doc.body)
-				ys.window.scrollTo(0, doc.body.scrollHeight);
-			else
-				ys.window.scrollBy(0, 100);
-		}
-
-		ys.prompt = function() {
-			return mod.ccall('prompt', 'string', [], [])
-		}
-
-		ys.run = function(cmd) {
-			ys.print_buffer = "";
-			if (ys.echo) {
-				if (!ys.last_line_empty)
-					ys.write("");
-				ys.write(ys.prompt() + cmd);
-			}
-			try {
-				mod.ccall('run', '', ['string'], [cmd]);
-			} catch (e) {
-				ys.errmsg = mod.ccall('errmsg', 'string', [], []);
-			}
-			return ys.print_buffer;
-		}
-
-		ys.read_file = function(filename) {
-			try {
-				return ys.window.FS.readFile(filename, {encoding: 'utf8'});
-			} catch (e) {
-				return "";
-			}
-		}
-
-		ys.write_file = function(filename, text) {
-			return ys.window.FS.writeFile(filename, text, {encoding: 'utf8'});
-		}
-
-		ys.read_dir = function(dirname) {
-			return ys.window.FS.readdir(dirname);
-		}
-
-		ys.remove_file = function(filename) {
-			try {
-				ys.window.FS.unlink(filename);
-			} catch (e) { }
-		}
-
-		doc.open();
-		doc.write('<script type="text/javascript" src="' + this.url_prefix + 'yosys.js"></' + 'script>');
-		doc.close();
-
-		if (on_ready || ys.init_script) {
-			function check_ready() {
-				if (ys.ready && ys.YosysJS.viz_ready) {
-					if (ys.init_script) {
-						ys.write_file("/script.ys", ys.init_script);
-						ys.run("script /script.ys");
-					}
-					if (on_ready)
-						on_ready(ys);
-				} else
-					window.setTimeout(check_ready, 100);
-			}
-			window.setTimeout(check_ready, 100);
-		}
-
-		return ys;
-	}
-
-	this.create_worker = function(on_ready) {
-		var ys = new Object();
-		ys.YosysJS = this;
-		ys.worker = new Worker(this.url_prefix + 'yosyswrk.js');
-		ys.callback_idx = 1;
-		ys.callback_cache = {};
-		ys.errmsg = "";
-
-		ys.callback_cache[0] = on_ready;
-		on_ready = null;
-
-		ys.worker.onmessage = function(e) {
-			var response = e.data[0];
-			var callback = ys.callback_cache[response.idx];
-			delete ys.callback_cache[response.idx];
-			if ("errmsg" in response) ys.errmsg = response.errmsg;
-			if (callback) callback.apply(null, response.args);
-		}
-
-		ys.run = function(cmd, callback) {
-			var request = {
-				"idx": ys.callback_idx,
-				"mode": "run",
-				"cmd": cmd
-			};
-
-			ys.callback_cache[ys.callback_idx++] = callback;
-			ys.worker.postMessage([request]);
-		}
-
-		ys.read_file = function(filename, callback) {
-			var request = {
-				"idx": ys.callback_idx,
-				"mode": "read_file",
-				"filename": filename
-			};
-
-			ys.callback_cache[ys.callback_idx++] = callback;
-			ys.worker.postMessage([request]);
-		}
-
-		ys.write_file = function(filename, text, callback) {
-			var request = {
-				"idx": ys.callback_idx,
-				"mode": "write_file",
-				"filename": filename,
-				"text": text
-			};
-
-			ys.callback_cache[ys.callback_idx++] = callback;
-			ys.worker.postMessage([request]);
-		}
-
-		ys.read_dir = function(dirname, callback) {
-			var request = {
-				"idx": ys.callback_idx,
-				"mode": "read_dir",
-				"dirname": dirname
-			};
-
-			ys.callback_cache[ys.callback_idx++] = callback;
-			ys.worker.postMessage([request]);
-		}
-
-		ys.remove_file = function(filename, callback) {
-			var request = {
-				"idx": ys.callback_idx,
-				"mode": "remove_file",
-				"filename": filename
-			};
-
-			ys.callback_cache[ys.callback_idx++] = callback;
-			ys.worker.postMessage([request]);
-		}
-
-		ys.verbose = function(value, callback) {
-			var request = {
-				"idx": ys.callback_idx,
-				"mode": "verbose",
-				"value": value
-			};
-
-			ys.callback_cache[ys.callback_idx++] = callback;
-			ys.worker.postMessage([request]);
-		}
-
-		return ys;
-	}
-}
diff --git a/misc/yosysjs/yosyswrk.js b/misc/yosysjs/yosyswrk.js
deleted file mode 100644
index b6173439f..000000000
--- a/misc/yosysjs/yosyswrk.js
+++ /dev/null
@@ -1,63 +0,0 @@
-var Module = {};
-var verbose_mode = false;
-var text_buffer = "";
-
-Module["printErr"] = Module["print"] = function(text) {
-	if (verbose_mode)
-		console.log(text);
-	text_buffer += text + "\n";
-}
-
-importScripts('yosys.js');
-
-onmessage = function(e) {
-	var request = e.data[0];
-	var response = { "idx": request.idx, "args": [] };
-
-	if (request.mode == "run") {
-		response["errmsg"] = "";
-		try {
-			text_buffer = "";
-			Module.ccall('run', '', ['string'], [request.cmd]);
-		} catch (e) {
-			response.errmsg = Module.ccall('errmsg', 'string', [], []);
-		}
-		response.args.push(text_buffer);
-		response.args.push(response.errmsg);
-		text_buffer = "";
-	}
-
-	if (request.mode == "read_file") {
-		try {
-			response.args.push(FS.readFile(request.filename, {encoding: 'utf8'}));
-		} catch (e) { }
-	}
-
-	if (request.mode == "write_file") {
-		try {
-			FS.writeFile(request.filename, request.text, {encoding: 'utf8'});
-		} catch (e) { }
-	}
-
-	if (request.mode == "read_dir") {
-		try {
-			response.args.push(FS.readdir(request.dirname));
-		} catch (e) { }
-	}
-
-	if (request.mode == "remove_file") {
-		try {
-			FS.unlink(request.filename);
-		} catch (e) { }
-	}
-
-	if (request.mode == "verbose") {
-		if (request.value)
-			console.log(text_buffer);
-		verbose_mode = request.value;
-	}
-
-	postMessage([response]);
-}
-
-postMessage([{ "idx": 0, "args": [] }]);
