[HN Gopher] Circuit Transformations, Loop Fusion, and Inductive ...
       ___________________________________________________________________
        
       Circuit Transformations, Loop Fusion, and Inductive Proof
        
       Author : matt_d
       Score  : 16 points
       Date   : 2026-04-13 16:23 UTC (3 days ago)
        
 (HTM) web link (natetyoung.github.io)
 (TXT) w3m dump (natetyoung.github.io)
        
       | discarded1023 wrote:
       | There's a tonne of work done in this space, e.g. Mary Sheeran's
       | uFP from the early 1980s [1], at least for classical synchronous
       | digital circuits. Some googling will dig up a survey or two on
       | modelling circuits with functions and a variety of systems in
       | various languages. BlueSpec was and perhaps is interesting too
       | but is quite a different approach.
       | 
       | [1] see e.g.
       | https://www.jucs.org/jucs_11_7/hardware_design_and_functiona...
        
       ___________________________________________________________________
       (page generated 2026-04-16 23:00 UTC)