LSTools-Showcase: EPFL逻辑综合库实例展示

简介：
简介：LSTools-Showcase是瑞士联邦理工学院（EPFL）开发的一个平台，用于展示其逻辑综合库中的工具和资源，涵盖多种电路设计案例。 EPFL逻辑综合库是一个模块化的开源C++库集合，专为开发逻辑综合应用程序设计。所有这些库都具备详尽的文档和支持性的测试案例。它们仅由标头文件构成，便于在复杂的逻辑综合框架中作为核心组件使用。 展示柜中的几个应用实例包括： - 爱丽丝：一个用于命令行操作的C++库。 - 帐单：一个进行推理工作的C++库。 - 卡特彼勒：专注于量子电路合成的C++库。 - 简单：提供异或和与或运算功能的C++库。 - kitty：处理真值表数据结构的一个C++库。 - lorina：用于解析任务的C++工具。 这些项目分别由Mathias Soeken、Bruno Schmitt、Giulia Meuli、Heinz Riener等人维护。