Verifying glitches in reset path using formal verification and simulation
US-2020401750-A1 · Dec 24, 2020 · US
Translation or migration, e.g. logic to logic, hardware description language [HDL] translation or netlist translation
Translation or migration, e.g. logic to logic, hardware description language [HDL] translation or netlist translation · Cooperative Patent Classification (CPC)
Computing, optics, measurement, and control technologies.
Related technology areas
Mapped technology topics for this CPC code.
| Metric | Value |
|---|---|
| CPC code | G06F30/323 |
| Official title | Translation or migration, e.g. logic to logic, hardware description language [HDL] translation or netlist translation |
| Display label | Translation or migration, e.g. logic to logic, hardware description language [HDL] translation or netlist translation |
| Total patents | 273 |
Filing trend
Year-over-year patent counts classified under this CPC code.
Filing activity over the last five years is growing.
| Year | Patents |
|---|---|
| 2015 | 16 |
| 2016 | 5 |
| 2017 | 2 |
| 2018 | 9 |
| 2019 | 11 |
| 2020 | 18 |
| 2021 | 22 |
| 2022 | 37 |
| 2023 | 54 |
| 2024 | 45 |
| 2025 | 39 |
| 2026 | 15 |
Representative patents
Representative publications under this CPC code from precomputed stats, or recent filings when stats are unavailable.
Multiplier-Accumulator Circuitry and Pipeline using Floating Point Data, and Methods of using Same
US-2020401414-A1 · Dec 24, 2020 · US
Behavioral design recovery from flattened netlist
US-2020387654-A1 · Dec 10, 2020 · US
Efficient execution of alternating automaton representing a safety assertion for a circuit
US-10831956-B2 · Nov 10, 2020 · US
System, method, and computer program product for generating a formal verification model
US-10789404-B1 · Sep 29, 2020 · US
Verification of Hardware Design for Data Transformation Pipeline with Equivalent Data Transformation Element Output Constraint
US-2020302104-A1 · Sep 24, 2020 · US
Verification of hardware design for data transformation pipeline with equivalent data transformation element output constraint
US-10719646-B2 · Jul 21, 2020 · US
Lookup table optimization for programming languages that target synchronous digital circuits
US-2020225921-A1 · Jul 16, 2020 · US
Selectively bypassing design process steps for a register-transfer logic (RTL) design in an electronic design automation (EDA) development environment
US-10713403-B1 · Jul 14, 2020 · US
Encoding and Decoding Variable Length Instructions
US-2020183693-A1 · Jun 11, 2020 · US
Deep learning testability analysis with graph convolutional networks
US-10657306-B1 · May 19, 2020 · US
Deep Learning Testability Analysis with Graph Convolutional Networks
US-2020151288-A1 · May 14, 2020 · US
Photonic circuit design systems
US-10650110-B2 · May 12, 2020 · US
Automatic multi-clock circuit generation
US-10629161-B2 · Apr 21, 2020 · US
Initial-state and next-state value folding
US-2020104434-A1 · Apr 2, 2020 · US
Characterizing electronic designs via visual processing and data transformation
US-2020089787-A1 · Mar 19, 2020 · US
Encoding and decoding variable length instructions
US-10579381-B2 · Mar 3, 2020 · US
Verification of Hardware Design for Data Transformation Pipeline with Equivalent Data Transformation Element Output Constraint
US-2019311075-A1 · Oct 10, 2019 · US
Verification of Hardware Design for Data Transformation Pipeline
US-2019311074-A1 · Oct 10, 2019 · US
Processing a block diagram circuit design into an efficient high-level language representation
US-10430540-B1 · Oct 1, 2019 · US
Frequently asked questions
Answers are generated from the same data shown on this page.
- What is CPC G06F30/323?
- CPC G06F30/323 is the Cooperative Patent Classification code for “Translation or migration, e.g. logic to logic, hardware description language [HDL] translation or netlist translation.”
- How many patents are filed under CPC G06F30/323 (Translation or migration, e.g. logic to logic, hardware description language [HDL] translation or netlist translation)?
- Our database includes 273 publications tagged with this CPC code.
- Is patent activity under CPC G06F30/323 growing?
- Publication counts under this code: 45 in 2024 vs 39 in 2025 (latest complete years).