Mencer, O. Platzner, M. Morf, M. Flynn, M. J. Object-Oriented Domain Specific Compilers for Programming Fpgas - 205-209 p. Subjects--Topical Terms: Adaptive ComputingBoolean SatisfiabilityComputer Arithmetic