Finding regularity: Describing and analysing circuits that are not quite regular

DOI10.1007/B93958MaRDI QIDQ5897054zbMATH OpenOpenAlexFDO

Authors Mary Sheeran

Publication date 5 February 2010

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b93958

Mathematics Subject Classification ID

Searching and sorting (68P10) Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical problems of computer architecture (68M07) Functional programming and lambda calculus (68N18)

Recommendations

• Publication:3202952
• Tools for Regularizing Array Designs
• An Algorithm to Generate Random Large Combinational Circuits
• scientific article; zbMATH DE number 1852169
• Formal Methods in Computer-Aided Design

This page was built for publication: Finding regularity: Describing and analysing circuits that are not quite regular

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5897054)