This is a framework for RTL synthesis tools. It currently has extensive Verilog-2005 support and provides a basic set of synthesis algorithms for various application domains. Yosys can be adapted to ...

Gilligan, George and Song, Dixon 2014. Smog, self-interest and regulating markets: the commons approach and the establishment of the European Union Emissions Trading Scheme. Law and Financial Markets ...