Хотя я пометил это домашнее задание, на самом деле это курс, который я делаю самостоятельно бесплатно. В любом случае, этот курс называется «От Нанда до Тетриса», и я надеюсь, что кто-то здесь видел или прошел этот курс, чтобы я мог получить некоторую помощь. Я нахожусь на этапе, когда я строю АЛУ с помощью поставляемого языка HDL. Моя проблема в том, что я не могу заставить мой чип правильно скомпилировать. Я получаю ошибки, когда пытаюсь установить выходные флаги для АЛУ. Я полагаю, что проблема заключается в том, что я не могу подписать какую-либо промежуточную переменную, так как, когда я просто пытаюсь установить флаги в true или false, основываясь на некоторой случайной переменной (скажем, флаг ввода), я не получаю ошибки. Я знаю, что проблема не в чипах, которые я пытаюсь использовать, поскольку я использую все встроенные чипы.
Вот мой чип ALU:
/**
* The ALU. Computes a pre-defined set of functions out = f(x,y)
* where x and y are two 16-bit inputs. The function f is selected
* by a set of 6 control bits denoted zx, nx, zy, ny, f, no.
* The ALU operation can be described using the following pseudocode:
* if zx=1 set x = 0 // 16-bit zero constant
* if nx=1 set x = !x // Bit-wise negation
* if zy=1 set y = 0 // 16-bit zero constant
* if ny=1 set y = !y // Bit-wise negation
* if f=1 set out = x + y // Integer 2's complement addition
* else set out = x & y // Bit-wise And
* if no=1 set out = !out // Bit-wise negation
*
* In addition to computing out, the ALU computes two 1-bit outputs:
* if out=0 set zr = 1 else zr = 0 // 16-bit equality comparison
* if out<0 set ng = 1 else ng = 0 // 2's complement comparison
*/
CHIP ALU {
IN // 16-bit inputs:
x[16], y[16],
// Control bits:
zx, // Zero the x input
nx, // Negate the x input
zy, // Zero the y input
ny, // Negate the y input
f, // Function code: 1 for add, 0 for and
no; // Negate the out output
OUT // 16-bit output
out[16],
// ALU output flags
zr, // 1 if out=0, 0 otherwise
ng; // 1 if out<0, 0 otherwise
PARTS:
// Zero the x input
Mux16( a=x, b=false, sel=zx, out=x2 );
// Zero the y input
Mux16( a=y, b=false, sel=zy, out=y2 );
// Negate the x input
Not16( in=x, out=notx );
Mux16( a=x, b=notx, sel=nx, out=x3 );
// Negate the y input
Not16( in=y, out=noty );
Mux16( a=y, b=noty, sel=ny, out=y3 );
// Perform f
Add16( a=x3, b=y3, out=addout );
And16( a=x3, b=y3, out=andout );
Mux16( a=andout, b=addout, sel=f, out=preout );
// Negate the output
Not16( in=preout, out=notpreout );
Mux16( a=preout, b=notpreout, sel=no, out=out );
// zr flag
Or8way( in=out[0..7], out=zr1 ); // PROBLEM SHOWS UP HERE
Or8way( in=out[8..15], out=zr2 );
Or( a=zr1, b=zr2, out=zr );
// ng flag
Not( in=out[15], out=ng );
}
Итак, проблема проявляется, когда я пытаюсь отправить подписанную версию «out» на чип Or8Way. Я попытался использовать переменную, отличную от «out», но с той же проблемой. Тогда я прочитал, что вы не можете использовать промежуточные переменные. Я подумал, может быть, если я отправлю промежуточную переменную в какой-то другой чип, и этот чип подпишется на него, это решит проблему, но у нее будет та же ошибка. К сожалению, я просто не могу придумать способ установить флаги zr и ng без подписки какой-либо промежуточной переменной, поэтому я действительно застрял!
Точно так же, как вы знаете, если я заменим проблемные строки на следующие, он скомпилируется (но не даст правильных результатов, поскольку я просто использую какой-то случайный ввод):
// zr flag
Not( in=zx, out=zr );
// ng flag
Not( in=zx, out=ng );
У кого-нибудь есть идеи?
Редактировать: Вот приложение к книге для курса , в котором указано, как работает hdl. В частности, посмотрите на раздел 5, в котором говорится о шинах и сказано: «Внутренний вывод (как v выше) не может быть подписан».
Редактировать: Вот точная ошибка, которую я получаю: «Линия 68, Не удается соединить выходной контакт затвора с деталью». Однако сообщение об ошибке немного сбивает с толку, так как это не является реальной проблемой. Если я просто заменю "Or8way (in = out [0..7], out = zr1);" с "Or8way (in = false, out = zr1);" она не сгенерирует эту ошибку, из-за чего я заглянул в приложение и обнаружил, что переменная out, поскольку она была получена как промежуточная, не может быть подписана.