Satnam Singh

4 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.

Geometry of Synthesis IV: Compiling Affine Recursion into Static Hardware

Dan R. Ghica and others (2011) · Proceedings of the 16th ACM SIGPLAN International Conference on Functional Programming (ICFP '11) · Association for Computing Machinery

Checking Safety Properties Using Induction and a SAT-Solver

Mary Sheeran and others (2000) · Formal Methods in Computer-Aided Design (FMCAD 2000) · Springer Science+Business Media

Lava: Hardware Design in Haskell

Per Bjesse and others (1998) · ACM SIGPLAN Notices 34

Circuit analysis by non-standard interpretation

Satnam Singh (1992) · Second Workshop on Designing Correct Circuits