Scholarlink

This chapter presents a netlist optimization methodology based on formal methods. External constraints are constraints on the inputs or outputs of a netlist. Such a constraint can be, for example, the exclusion of specific values for a given input signal. This chapter presents how these external constraints can be efficiently used to reduce the size of the netlist by removing gates that, considering the external constraints, are not having an effect on the output. The presented methodology is evaluated on several benchmarks, including combinational netlists and RISC-V processors.

错误：搜索内容不能为空，请输入英文关键词
错误：关键词超出字数限制，请精简
高级检索

Netlist Optimization Using Formal Methods Under External Constraints

  • 章节

  • 发表日期：

    2025年

查看全文
  • Lucas Klemmer,
  • Daniel Große

摘要

This chapter presents a netlist optimization methodology based on formal methods. External constraints are constraints on the inputs or outputs of a netlist. Such a constraint can be, for example, the exclusion of specific values for a given input signal. This chapter presents how these external constraints can be efficiently used to reduce the size of the netlist by removing gates that, considering the external constraints, are not having an effect on the output. The presented methodology is evaluated on several benchmarks, including combinational netlists and RISC-V processors.