%0 Journal Article
%T Synchronous digital circuits as functional programs
%A Gammie, Peter
%J ACM Computing Surveys (CSUR)
%V 46
%N 2
%@ 0360-0300
%D 2013-11-01
%I Association for Computing Machinery
%~ DeepDyve