LogicMill Technology, LLC is a privately owned EDA (electronic design automation) company that develops, commercializes and supports software tools for synthesis and verification of integrated circuits (ICs) and systems on chip (SoC). The company has been founded by Dr. Maciej Ciesielski, professor at the University of Massachusetts, Amherst, and employs experts in logic synthesis and verification with extensive research and industrial experience.


The main product of LogicMill is a core synthesis engine that can be integrated with any commercial or proprietary synthesis flow, both for ASIC and FPGA designs. LogicMill works with several companies customizing this state-of-the-art synthesis and verification solution for their particular needs and integrating it with their design flow. Specifically, we are offering our tools and consulting expertise in logic synthesis, formal verification, and machine learning to companies working in the area of IC semiconductor, software development, and EDA. Our solution provides an order of magnitude faster runtimes and offers the results that are unmatched by current commercial tools, all at a fraction of a cost of the tools available on the market.

Contact us for a detailed information about our product.