aziesemer / astran

ASTRAN - Automatic Synthesis of Transistor Networks
http://aziesemer.github.io/astran
BSD 2-Clause "Simplified" License
52 stars 24 forks source link

Cellgen compact error: can't solve ILP and M5 gate length smaller than tech #55

Open youth1forever opened 1 year ago

youth1forever commented 1 year ago

I run the example from /Work/teste.run with tech_065 and cell INV0, but meet with the following error.

astran> cellgen route 1 0 1 1 -> Routing cell... -> Routing finished in 9 attempts after 0.107 s

-> Cost before optimization:6982 -> Optimizing routing graph... -> Cost after optimization: 6961 -> Runtime = 29.135 s

-> Cost before optimization:6961 -> Optimizing routing graph... -> Cost after optimization: 6961 -> Runtime = 14.121 s astran> cellgen compact 1 0 50 2 1 1 0 0 0 3600 -> Compacting layout... -> Calling LP Solver (16195 variables, 24829 constraints) -> Running command: "/home/yy/software/gurobi10.0.1_linux64/gurobi1001/linux64/bin/gurobi_cl" TimeLimit=3600 ResultFile=ILPmodel.sol ILPmodel.lp -> To interrupt earlier and get the current best solution, type in a terminal: kill -2 [gurobi process] -> * and H means new feasible solution found: Set parameter Username Set parameter TimeLimit to value 3600 Set parameter LogFile to value "gurobi.log" Academic license - for non-commercial use only - expires 2024-02-20 Using license file /home/yy/gurobi.lic

Gurobi Optimizer version 10.0.1 build v10.0.1rc0 (linux64) Copyright (c) 2023, Gurobi Optimization, LLC

     of a constant term in the left-hand side of a constraint.

Read LP format model from file ILPmodel.lp Reading time = 0.07 seconds : 24830 rows, 10639 columns, 91329 nonzeros

CPU model: Intel(R) Core(TM) i7-10510U CPU @ 1.80GHz, instruction set [SSE2] Thread count: 2 physical cores, 2 logical processors, using up to 2 threads

Optimize a model with 24830 rows, 10639 columns and 91329 nonzeros Model fingerprint: 0xb040a834

Model fingerprint: 0xb040a834

** ERROR: Could not solve the ILP model. Try to adjust the constraints!

jesseclin commented 1 year ago

Which cell did you select?