https://deepai.org/publication/automated-formal-equivalence-verification-of-pipelined-nested-loops-in-datapath-designs
12/28/17 - In this paper, we present an efficient formal approach to check the equivalence of synthesized RTL against the high-level specific...
formal equivalenceautomatedverificationpipelinednested
https://www.abebooks.com/9780891164944/Architecture-Pipelined-Computers-Kogge-Peter-0891164944/plp
CRC Press - 1981 - Low prices on new and used copies of books. 30 days return policy
peter marchitecturepipelinedcomputerskogge
https://predibase.com/blog/ludwig-0-6-gradient-boosted-models-config-validation-and-pipelined
A magazine collating articles about Predibase and Ludwig, the declarative machine learning framework
ludwiggradientboostedmodelsconfig