Semantic Scholar uses AI to extract papers important to this topic.
We introduce two invariants called the secondary cuspidal curvature and the bias on $5/2$-cuspidal edges, and investigate their… Expand 75 Inventors: Terence M. Potter; James S Solid-State Circuits, Nov. 1997, 1702–1711, vol. 32, No. 11. Blomgren; Anthony M. Petro… Expand ABC is a public-domain system for logic synthesis and formal verification of binary logic circuits appearing in synchronous… Expand A method for finding large isomorphic subgraphs in two similar circuits is proposed, and its application to sequential… Expand This paper gives an overview of methods proposed for implementing multi-valued logic in CMOS and then describes Intrinsity's… Expand This paper presents an MDD that has additional null-value and all-value edges. The MDD is based on a multi-valued algebra that… Expand Future radars require more flexible and faster radar signal processing chain than commercial radars of today. This means that the… Expand The goal of this paper is to discuss the status of mental representations (MR). The proposed view essentially agrees with Auletta… Expand The IntrinsityTM FastMATHTM processor combines a MIPS32TM core, a matrix/vector engine, and dual RapidIOTM interfaces for a 2 GHz… Expand This document presents an evaluation of the use of the IntrinsityTM FastMATHTM processor in the symbol-rate baseband processing… Expand