search

berkeley-abc / abc

ABC: System for Sequential Logic Synthesis and Formal Verification
Other
902 stars 588 forks source link

Skipping line ".start_kiss", ABC don't support kiss format for Finite State Machine? #123

Open zerowe-seven opened 3 years ago

zerowe-seven commented 3 years ago

I created a case from Berkeley Logic Interchange Format (BLIF) February 22, 2005

which is

.model .inputs v0 .outputs v3.2 .latch [6] v1 0 .latch [7] v2 0 .start_kiss .i 1 .o 1 .p 8 .s 4 .r st0 0 st0 st0 0 1 st0 st1 0 0 st1 st2 0 1 st1 st1 0 0 st2 st0 0 1 st2 st3 1 0 st3 st2 0 1 st3 st1 0 .end_kiss .code st0 00 .code st1 11 .code st2 01 .code st3 10 .names v0 [6] 1 1 .names v0 v1 v2 [7] -1- 1 1-0 1 .names v0 v1 v2 v3.2 101 1 .end

But ABC skipping the line for kiss and crash out, so ABC don't support kiss format for Finite State Machine?

UC Berkeley, ABC 1.01 (compiled Feb 3 2021 23:53:57) abc 01> read_blif 1.blif Line 6: Skipping line ".start_kiss". Line 7: Skipping line ".i 1". Line 8: Skipping line ".o 1". Line 9: Skipping line ".p 8". Line 10: Skipping line ".s 4". Line 21: Skipping line ".code st0 00". Line 22: Skipping line ".code st1 11". Line 23: Skipping line ".code st2 01". Line 24: Skipping line ".code st3 10". Segmentation fault

alanminko commented 3 years ago

KISS table for FSM description cannot be read into ABC, but the older tool, SIS, can read it.

On 3/24/2021 4:45 PM, zerowe-seven wrote:

I created a case from Berkeley Logic Interchange Format (BLIF) February 22, 2005

which is

.model
.inputs v0
.outputs v3.2
.latch [6] v1 0
.latch [7] v2 0
.start_kiss
.i 1
.o 1
.p 8
.s 4
.r st0
0 st0 st0 0
1 st0 st1 0
0 st1 st2 0
1 st1 st1 0
0 st2 st0 0
1 st2 st3 1
0 st3 st2 0
1 st3 st1 0
.end_kiss
.code st0 00
.code st1 11
.code st2 01
.code st3 10
.names v0 [6]
1 1
.names v0 v1 v2 [7]
-1- 1
1-0 1
.names v0 v1 v2 v3.2
101 1
.end

But ABC skipping the line for kiss and crash out, so ABC don't support kiss format for Finite State Machine?

UC Berkeley, ABC 1.01 (compiled Feb 3 2021 23:53:57) abc 01> read_blif 1.blif Line 6: Skipping line ".start_kiss". Line 7: Skipping line ".i 1". Line 8: Skipping line ".o 1". Line 9: Skipping line ".p 8". Line 10: Skipping line ".s 4". Line 21: Skipping line ".code st0 00". Line 22: Skipping line ".code st1 11". Line 23: Skipping line ".code st2 01". Line 24: Skipping line ".code st3 10". Segmentation fault

— You are receiving this because you are subscribed to this thread. Reply to this email directly, view it on GitHub https://github.com/berkeley-abc/abc/issues/123, or unsubscribe https://github.com/notifications/unsubscribe-auth/AI4DBXQ5YZLRLVXSIR54453TFKPVFANCNFSM4ZYPDDRA.

zerowe-seven commented 3 years ago

Thanks Alanminko!

Do you where we can download SIS or MVSIS nowadays?

alanminko commented 3 years ago

We can find SIS here https://ptolemy.berkeley.edu/projects/embedded/Alumni/pchong/sis.html

Please note that MVSIS does not support KISS format and many other features of SIS, but it can process multi-valued circuits.

On 3/24/2021 8:47 PM, zerowe-seven wrote:

Thanks Alanminko!

Do you where we can download SIS or MVSIS nowadays?

— You are receiving this because you commented. Reply to this email directly, view it on GitHub https://github.com/berkeley-abc/abc/issues/123#issuecomment-806406638, or unsubscribe https://github.com/notifications/unsubscribe-auth/AI4DBXQIXNJCHRCWKH2VYXLTFLL7PANCNFSM4ZYPDDRA.