High-level VLSI synthesis | lit.salon