Sequential Logic, Part 2 | Bitwise Episode Guide

0:08Recap and set the stage for the day continuing with sequential logic

🗩

0:08Recap and set the stage for the day continuing with sequential logic

🗩

0:08Recap and set the stage for the day continuing with sequential logic

🗩

0:46Review the off-by-one issue from yesterday, in which simulate_test() failed to update the module output values after a tick and before calling in to the tester

📖

0:46Review the off-by-one issue from yesterday, in which simulate_test() failed to update the module output values after a tick and before calling in to the tester

📖

0:46Review the off-by-one issue from yesterday, in which simulate_test() failed to update the module output values after a tick and before calling in to the tester

📖

2:18On splitting the update logic into two parts

📖

2:18On splitting the update logic into two parts

📖

2:18On splitting the update logic into two parts

📖

3:39Consult the emitted code of our entire circuit, on the update logic split between update() - computing outputs - and tick() - computing register values

🏃

3:39Consult the emitted code of our entire circuit, on the update logic split between update() - computing outputs - and tick() - computing register values

🏃

3:39Consult the emitted code of our entire circuit, on the update logic split between update() - computing outputs - and tick() - computing register values

🏃

7:52Note the fewer yields in example39_test()

📖

7:52Note the fewer yields in example39_test()

📖

7:52Note the fewer yields in example39_test()

📖

8:50Run simulate_test() successfully on example39_test

🏃

8:50Run simulate_test() successfully on example39_test

🏃

8:50Run simulate_test() successfully on example39_test

🏃

9:03Combinational pipelining

🗩

9:03Combinational pipelining

🗩

9:03Combinational pipelining

🗩

9:46Introduce delay() to construct feed-forward register chains

13:52Define Example40 module as a delay

15:18Check the graph of Example40, the delay

🏃

15:18Check the graph of Example40, the delay

🏃

15:18Check the graph of Example40, the delay

🏃

15:54Create simulation test for Example40

16:46Run simulate_test() successfully on example40_test

🏃

16:46Run simulate_test() successfully on example40_test

🏃

16:46Run simulate_test() successfully on example40_test

🏃

17:50A few words on the utility of delay like an operator

🗩

17:50A few words on the utility of delay like an operator

🗩

17:50A few words on the utility of delay like an operator

🗩

21:49Augmenting delay analysis to compute critical paths between internal registers

🗩

21:49Augmenting delay analysis to compute critical paths between internal registers

🗩

21:49Augmenting delay analysis to compute critical paths between internal registers

🗩

23:18Change the DelayAnalyzer use nodes rather than node names

29:45Run it to see our delay analysis

🏃

29:45Run it to see our delay analysis

🏃

29:45Run it to see our delay analysis

🏃

30:49Introduce combinational_multiplier() as a dumb multiplier

34:19Run simulate_test() on the combinational_multiplier() successfully

🏃

34:19Run simulate_test() on the combinational_multiplier() successfully

🏃

34:19Run simulate_test() on the combinational_multiplier() successfully

🏃

34:26Introduce pipelined_multiplier() interspersing delay() in the combinational_multiplier(), also adding an "enable" control signal in Example42

41:56Run it and hit runtime error "dictionary changed size during iteration"

🏃

41:56Run it and hit runtime error "dictionary changed size during iteration"

🏃

41:56Run it and hit runtime error "dictionary changed size during iteration"

🏃

42:10Enable linearize() to handle register discovery

44:08Run it successfully

🏃

44:08Run it successfully

🏃

44:08Run it successfully

🏃

44:13Create a test of Example42 without pipelining

45:00Run it, hit an AttributeError, and investigate the problem in register discovery

🏃

45:00Run it, hit an AttributeError, and investigate the problem in register discovery

🏃

45:00Run it, hit an AttributeError, and investigate the problem in register discovery

🏃

50:45Investigate the project in the combinational_multiplier()

51:39Pass through the __iter__() of SimulatorInstance while debugging

52:06Step through example42_test() inspecting the values

🏃

52:06Step through example42_test() inspecting the values

🏃

52:06Step through example42_test() inspecting the values

🏃

53:28Fix the "enable" control signal in Example42 to be a single bit

53:43Run simulate_test() on example42_test to completion

🏃

53:43Run simulate_test() on example42_test to completion

🏃

53:43Run simulate_test() on example42_test to completion

🏃

54:22Change pipelined_multiplier() to use the current values of x and y before reassigning them

56:00Run simulate_test() on example42_test, hit our test assertion and step in to pipelined_multiplier() to investigate

🏃

56:00Run simulate_test() on example42_test, hit our test assertion and step in to pipelined_multiplier() to investigate

🏃

56:00Run simulate_test() on example42_test, hit our test assertion and step in to pipelined_multiplier() to investigate

🏃

58:05Check out our generated code to see self.r8 being set incorrectly

🏃

58:05Check out our generated code to see self.r8 being set incorrectly

🏃

58:05Check out our generated code to see self.r8 being set incorrectly

🏃

59:47Change Example42 to set p and p_valid to their output() separately from the pipelined_multiplier() call

1:00:06Run it to see the same p_valid value as before, and check the code

🏃

1:00:06Run it to see the same p_valid value as before, and check the code

🏃

1:00:06Run it to see the same p_valid value as before, and check the code

🏃

1:01:51Scrutinise linearize() to discover the issue

📖

1:01:51Scrutinise linearize() to discover the issue

📖

1:01:51Scrutinise linearize() to discover the issue

📖

1:02:42Prevent name collision during register discovery in linearize()

1:06:43Realise that both update() and tick() need to use the same register names, and consider how to resolve our failure

🗩

1:06:43Realise that both update() and tick() need to use the same register names, and consider how to resolve our failure

🗩

1:06:43Realise that both update() and tick() need to use the same register names, and consider how to resolve our failure

🗩

1:07:28Make linearize() use a shared dictionary for registers

1:08:27Run it still unsuccessfully, with the same p_valid() value as before

🏃

1:08:27Run it still unsuccessfully, with the same p_valid() value as before

🏃

1:08:27Run it still unsuccessfully, with the same p_valid() value as before

🏃

1:08:41Make linearize() clone the counter as well

1:09:01Run it successfully

🏃

1:09:01Run it successfully

🏃

1:09:01Run it successfully

🏃

1:09:17Try to clean up the update_instructions and tick_instructions split in linearize()

1:10:55Run it and hit an AttributeError

🏃

1:10:55Run it and hit an AttributeError

🏃

1:10:55Run it and hit an AttributeError

🏃

1:12:20Revert linearize() to the working version

1:12:56Run simulate_test() on the real example42_test unsuccessfully, and inspect the computed values

🏃

1:12:56Run simulate_test() on the real example42_test unsuccessfully, and inspect the computed values

🏃

1:12:56Run simulate_test() on the real example42_test unsuccessfully, and inspect the computed values

🏃

1:16:56Reformulate combinational_multiplier() as a parallel assignment

1:17:51Run it to see that that works

🏃

1:17:51Run it to see that that works

🏃

1:17:51Run it to see that that works

🏃

1:17:55Change pipelined_multiplier() to use this new parallel formulation of combinational_multiplier()

1:18:54Enable delay() to handle tuples

1:19:25Run it to see it still doesn't work

🏃

1:19:25Run it to see it still doesn't work

🏃

1:19:25Run it to see it still doesn't work

🏃

1:19:28Fix pipelined_multiplier() to iterate over all the bits

1:19:33Run the pipelined multiplier successfully

🏃

1:19:33Run the pipelined multiplier successfully

🏃

1:19:33Run the pipelined multiplier successfully

🏃

1:20:21Introduce example42_test_producer() and example42_test_consumer() to give us two different agents to feed and consume from the multiplier

1:22:04Enable simulate_test() to handle multiple testers

1:24:37Run it to ensure that the existing tests do run

🏃

1:24:37Run it to ensure that the existing tests do run

🏃

1:24:37Run it to ensure that the existing tests do run

🏃

1:24:55Write a simulation test of our multiplier producer and consumer running in parallel

1:25:23Run simulate_test() on our multiplier producer and consumer, fail the test and investigate why

🏃

1:25:23Run simulate_test() on our multiplier producer and consumer, fail the test and investigate why

🏃

1:25:23Run simulate_test() on our multiplier producer and consumer, fail the test and investigate why

🏃

1:28:43Fix example42_test_consumer() to correctly yield

1:29:17Run simulate_test() on our multiplier with parallel producer and consumer successfully

🏃

1:29:17Run simulate_test() on our multiplier with parallel producer and consumer successfully

🏃

1:29:17Run simulate_test() on our multiplier with parallel producer and consumer successfully

🏃

1:29:25spriithy New place?

🗪

1:29:25spriithy New place?

🗪

1:29:25spriithy New place?

🗪

1:29:45Reflect on the utility of running more than one test co-routine at once

🗩

1:29:45Reflect on the utility of running more than one test co-routine at once

🗩

1:29:45Reflect on the utility of running more than one test co-routine at once

🗩

1:30:10Further decouple the producer and consumer using a separate "expected" queue¹

1:33:23Run it to see that example42_test_consumer() never gets to run, and investigate why

🏃

1:33:23Run it to see that example42_test_consumer() never gets to run, and investigate why

🏃

1:33:23Run it to see that example42_test_consumer() never gets to run, and investigate why

🏃

1:35:30Run it again to see that example42_test_consumer() now gets to run

🏃

1:35:30Run it again to see that example42_test_consumer() now gets to run

🏃

1:35:30Run it again to see that example42_test_consumer() now gets to run

🏃

1:36:32Revert the decoupling

1:36:57Run it successfully

🏃

1:36:57Run it successfully

🏃

1:36:57Run it successfully

🏃

1:37:17Reflect on our pipelined system, impressing the need to keep thing in phase when mixing, and the utility of pipelining to improve the throughput of any combinational circuit

🗩

1:37:17Reflect on our pipelined system, impressing the need to keep thing in phase when mixing, and the utility of pipelining to improve the throughput of any combinational circuit

🗩

1:37:17Reflect on our pipelined system, impressing the need to keep thing in phase when mixing, and the utility of pipelining to improve the throughput of any combinational circuit

🗩

1:43:36Pipelining a 1024-bit carry-propagate adder

🗩

1:43:36Pipelining a 1024-bit carry-propagate adder

🗩

1:43:36Pipelining a 1024-bit carry-propagate adder

🗩

1:51:37That's it for the main stream

🗩

1:51:37That's it for the main stream

🗩

1:51:37That's it for the main stream

🗩

Bitwise

Keyboard Navigation

Global Keys

Menu toggling

In-Menu Movement

Quotes and References Menus

Quotes, References and Credits Menus

Filter Menu

Filter and Link Menus

Credits Menu