Circuits and System Descriptions, Algorithms and Data Structures, Verification, Test Pattern Generation, New Technologies
Published at: GECCO 2023 Companion - Proceedings of the 2023 Genetic and Evolutionary Computation Conference Companion
DOI: 10.1145/3583133.3596389
Published at: GECCO 2023 Companion - Proceedings of the 2023 Genetic and Evolutionary Computation Conference Companion
DOI: 10.1145/3583133.3590711
Published at: IEEE Transactions on Circuits and Systems II: Express Briefs (Volume: 70)
DOI: 10.1109/TCSII.2023.3242976
Published at: IEEE Internet of Things Journal (Volume: 10)
DOI: 10.1109/JIOT.2023.3236694
Published at: IT - Information Technology (Volume: 65)
DOI: 10.1515/itit-2023-0020
Published at: Formal Verification of Structurally Complex Multipliers
DOI: 10.1007/978-3-031-24571-8
Published at: Proceedings of the Asia and South Pacific Design Automation Conference, ASP-DAC
DOI: 10.1145/3566097.3567842
Published at: Proceedings of the Asia and South Pacific Design Automation Conference, ASP-DAC
DOI: 10.1145/3566097.3567919
Published at: Proceedings of the Asia and South Pacific Design Automation Conference, ASP-DAC
DOI: 10.1145/3566097.3567913
Published at: Forum on Specification and Design Languages (Volume: 2023-September)
DOI: 10.1109/FDL59689.2023.10272088