7 citations · 45 across the 22 of their papers we have counts for
1 paper · 1 filter
Dan R. Ghica
The problem of synthesis of gate-level descriptions of digital circuits from behavioural specifications written in higher-level programming languages (hardware compilation) has bee…