Цифровая археология: 1801 и все-все-все

[gid]

Кстати, по поводу микрокода, я по мотивам Vslavовской проги mcode попробовал написать прогу, которая более подробно и развёрнуто даёт результаты. Но это понимания не добавило, да и что когда в точности означает в выходной 34 битной матрице не понимаю, на чём всё и застопорилось.
vm1mca.rar
результат работы - три вида логов.

простой вариант

[0x00](xxxxxxxx xxxxxxxxxxxxxxxx) -> [0x01](1111111110111101111110111110111010)

[0x01](000xxxxx xxxxxxxxxxxxxxxx) -> [0x01](1111111110111101111110111110111010)
[0x01](000xxxxx 0000000001000xxx) -> [0x01](1111111110111101011110111110111010)
[0x01](000xxxxx 0000100xxx000xxx) -> [0x01](1111111110111100011110111110111010)
[0x01](000xxxxx 10001000xxxxxxxx) -> [0x01](1111111110110100111110111110111010)
[0x01](001xxxxx 0000000000000000) -> [0x01](1111111110100101011110111110111100)
[0x01](001xxxxx 0000000000000001) -> [0x37](0001100111111111001000110000011100)
[0x01](001xxxxx 0000000000000x10) -> [0x38](1001000110011101000010010100010100)
[0x01](001xxxxx 0000000000000011) -> [0x01](1111111110100100001010111110111100)
[0x01](001xxxxx 0000000000000100) -> [0x01](1111111110101100001010111110111100)
[0x01](001xxxxx 0000000000000101) -> [0x37](1111111111111111111110100110011100)
[0x01](001xxxxx xxxxxxxxxx000xxx) -> [0x47](1111111111111011111111111111111111)
[0x01](001xxxxx 0000000000001xxx) -> [0x2f](1111110101111011100000111000011100)
[0x01](001xxxxx xxxxxxxxxxxxxxxx) -> [0x47](1111111111111111111111111111111111)
[0x01](001xxxxx 0000x00xxx000xxx) -> [0x01](1111111110111000001010111110111100)
[0x01](001xxxxx 0000000001xxxxxx) -> [0x45](1111111110111010101010111110111101)
[0x01](001xxxxx 0000000010000xxx) -> [0x50](1111011110111101011110110110111101)
[0x01](001xxxxx 0000000010000111) -> [0x50](1111011110111001011110110110111101)
[0x01](001xxxxx 00000000101xxxxx) -> [0x37](0001100111011111001010010100011000)
[0x01](001xxxxx x000xx0x11000xxx) -> [0x50](0001000110011101001010010100111001)
[0x01](001xxxxx x000xx0xxx000xxx) -> [0x50](0001000110011001001010010100111001)
[0x01](001xxxxx x000xxxxxxxxxxxx) -> [0x45](0001111110111111011010111110111101)
[0x01](001xxxxx x0000xxxxxxxxxxx) -> [0x7b](1111111111111101110110110110011101)
[0x01](001xxxxx x0000xxxxx000xxx) -> [0x7b](1111111111111001110110110110011101)
[0x01](001xxxxx 0000100xxxxxxxxx) -> [0x45](1111111110111011101010111110111101)
[0x01](001xxxxx x0001xxxxx000xxx) -> [0x31](0001100110011101001010010100011000)
[0x01](001xxxxx x0001xxxxx000111) -> [0x31](0001100110011001001010010100011000)
[0x01](001xxxxx x000101111xxxxxx) -> [0x45](0001111110111111001010111110111101)
[0x01](001xxxxx 0000110100xxxxxx) -> [0x37](0001101001011011001000110000011100)
[0x01](001xxxxx xxxxx00xxx000xxx) -> [0x58](0001000110011101000010010100111001)
[0x01](001xxxxx xxxxx00xxx000xxx) -> [0x58](0001000110011001000010010100111001)
[0x01](001xxxxx xx0xxxxxxxxxxxxx) -> [0x47](0001111111111111011110111110111101)
[0x01](001xxxxx xx0xxxxxxx000xxx) -> [0x47](0001111111111011011110111110111101)
[0x01](001xxxxx x01xxxxxxxxxxxxx) -> [0x47](0001111111111111001110111110111101)
[0x01](001xxxxx x01xxxxxxx000xxx) -> [0x47](0001111111111011001110111110111101)
[0x01](001xxxxx x110xxxxxxxxxxxx) -> [0x47](0001111111111111111110111110111101)
[0x01](001xxxxx x110xxxxxx000xxx) -> [0x47](0001111111111011111110111110111101)
[0x01](001xxxxx xxxxxx0xxx000xxx) -> [0x52](1111000111011101101111010101111011)
[0x01](001xxxxx xxxxxx0xxx000111) -> [0x52](1111000111011001101111010101111011)
[0x01](001xxxxx 0111100xxxxxxxxx) -> [0x5a](0001011111111101010110110110111101)
[0x01](001xxxxx 0111111xxxxxxxxx) -> [0x27](1111111111111111011110111110011100)
[0x01](001xxxxx 0111111xxx000111) -> [0x27](1111111111111011011110111110011100)
[0x01](001xxxxx 10001000xxxxxxxx) -> [0x01](1111111110110000001010111110111100)
[0x01](001xxxxx 10001001xxxxxxxx) -> [0x01](1111111110111001001010111110111100)
[0x01](001xxxxx 1000110100xxxxxx) -> [0x45](0001111110111011001010111110111101)
[0x01](01xxxxxx xxxxxxxxxxxxxxxx) -> [0x1d](1111101010011011100000110110110100)
[0x01](10xxxxxx xxxxxxxxxxxxxxxx) -> [0x13](1001100111011101111000110010111100)
[0x01](11xxxxxx xxxxxxxxxxxxxxxx) -> [0x21](1111100100011001101000111100010100)
где
[src addr](mr ir) -> [dst addr](plm)
src addr - текущий адрес ячейки микрокода,
dst addr - куда делается переход с текущего адреса
mr - то, что в верилоге зовётся mj, но без адреса ячейки

[свернуть]

продвинутый вариант

[0x00](xxxxxxxx xxxxxxxxxxxxxxxx) -> [0x01](1111111110111101111110111110111010)
matches:16777216
[000-377]:[000000-177777]

------------------------------------------------
[0x01](000xxxxx xxxxxxxxxxxxxxxx) -> [0x01](1111111110111101111110111110111010)
matches:2086656
[000-037]:[000000-000077][000110-003777][004010-004077][004110-004177]
[004210-004277][004310-004377][004410-004477][004510-004577]
[004610-004677][004710-103777][104400-177777]

[0x01](000xxxxx 0000000001000xxx) -> [0x01](1111111110111101011110111110111010)
matches:256
[000-037]:[000100-000107]

[0x01](000xxxxx 0000100xxx000xxx) -> [0x01](1111111110111100011110111110111010)
matches:2048
[000-037]:[004000-004007][004100-004107][004200-004207][004300-004307]
[004400-004407][004500-004507][004600-004607][004700-004707]


[0x01](000xxxxx 10001000xxxxxxxx) -> [0x01](1111111110110100111110111110111010)
matches:8192
[000-037]:[104000-104377]

[0x01](001xxxxx 0000000000000000) -> [0x01](1111111110100101011110111110111100)
matches:32
[040-077]:[000000]

[0x01](001xxxxx 0000000000000001) -> [0x37](0001100111111111001000110000011100)
matches:32
[040-077]:[000001]

[0x01](001xxxxx 0000000000000x10) -> [0x38](1001000110011101000010010100010100)
matches:64
[040-077]:[000002][000006]

[0x01](001xxxxx 0000000000000011) -> [0x01](1111111110100100001010111110111100)
matches:32
[040-077]:[000003]

[0x01](001xxxxx 0000000000000100) -> [0x01](1111111110101100001010111110111100)
matches:32
[040-077]:[000004]

[0x01](001xxxxx 0000000000000101) -> [0x37](1111111111111111111110100110011100)
matches:32
[040-077]:[000005]

[0x01](001xxxxx xxxxxxxxxx000xxx) -> [0x47](1111111111111011111111111111111111)
matches:4832
[040-077]:[000007][006507][006607][007007][007107][007207][007307][007407]
[007507][007607][007707][070007][070107][070207][070407][070507]
[070607][070700-070707][071007][071107][071207][071307][071407]
[071507][071607][071707][072007][072107][072207][072307][072407]
[072507][072607][072707][073007][073107][073207][073307][073407]
[073507][073607][073707][075007][075107][075207][075307][075407]
[075507][075607][075707][076007][076107][076207][076307][076407]
[076507][076607][076707][107007][107107][107207][107307][107407]
[107507][107607][107707][170007][170107][170207][170307][170407]
[170507][170607][170700-170707][171007][171107][171207][171307]
[171407][171507][171607][171707][172007][172107][172207][172307]
[172407][172507][172607][172707][173007][173107][173207][173307]
[173407][173507][173607][173707][174007][174107][174207][174307]
[174407][174507][174607][174700-174707][175007][175107][175207]
[175307][175407][175507][175607][175707][176007][176107][176207]
[176307][176407][176507][176607][176707][177007][177107][177207]
[177307][177407][177507][177607][177707]

[0x01](001xxxxx 0000000000001xxx) -> [0x2f](1111110101111011100000111000011100)
matches:256
[040-077]:[000010-000017]

где в квадратных скобках перечисляются диапазоны входных кодов, по которым происходит переход.
[mr]:[ir]...[ir]

[свернуть]

третий лог - скорее всего недостоверен, поэтому не привожу.

Вдруг пригодится.

Забыл добавить: адреса ячеек микрокода - инверсные относительно верилога, так гораздо понятнее.