Lab for Automated Reasoning and Analysis LARA

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
cisy [2012/04/17 13:05]
vkuncak
cisy [2012/04/17 14:16] (current)
vkuncak
Line 1: Line 1:
 ====== Circuit-Based Synthesis from Regular Specifications ====== ====== Circuit-Based Synthesis from Regular Specifications ======
 +
 +See the paper [[http://​lara.epfl.ch/​~kuncak/​papers/​SpielmannKuncak12SynthesisUnboundedBitvectorArithmetic.html|Synthesis for Unbounded Bitvector Arithmetic]].
  
 Until this page is updated, please contact [[http://​people.epfl.ch/​andrej.spielmann|Andrej Spielmann]]. Until this page is updated, please contact [[http://​people.epfl.ch/​andrej.spielmann|Andrej Spielmann]].
  
 Related project: [[:RegSy]] and [[:​Comfusy]]. Related project: [[:RegSy]] and [[:​Comfusy]].
 
cisy.txt · Last modified: 2012/04/17 14:16 by vkuncak
 
© EPFL 2018 - Legal notice