Get rid of some deprecation warnings

It's been deprecated since Amaranth commit bfe541a6d7f63b7a8402d86aa51e741c7d1c97bd (2024-03-06)
See PR: amaranth-lang/amaranth#1190
Deprecated since Amaranth release v0.5.0

Author: purdeaandrei

06_past.md

@@ -81,7 +81,7 @@ Earlier we said that there is a built-in clock domain, `sync`. However, you stil
 Assumptions force the verification engine to ensure that the assumptions are true. So for example, suppose `x` were an input to some module that you want to verify:
 
 ```python
-from amaranth.asserts import Assume
+from amaranth.hdl import Assume
 
 x = Signal(16)  # An input signal
 m.d.comb += Assume(x < 0xD000)

answers/e01_to_pennies.py

@@ -4,7 +4,7 @@
 
 from amaranth import Signal, Module, Elaboratable
 from amaranth.build import Platform
-from amaranth.asserts import Assume, Assert, Cover
+from amaranth.hdl import Assume, Assert, Cover
 
 from util import main
 

answers/e02_next_day.py

@@ -4,7 +4,7 @@
 
 from amaranth import Signal, Module, Elaboratable
 from amaranth.build import Platform
-from amaranth.asserts import Assume, Assert, Cover
+from amaranth.hdl import Assume, Assert, Cover
 
 from util import main
 

answers/e03_cell3x3.py

@@ -4,7 +4,7 @@
 
 from amaranth import Signal, Module, Elaboratable
 from amaranth.build import Platform
-from amaranth.asserts import Assume, Assert, Cover
+from amaranth.hdl import Assume, Assert, Cover
 
 from util import main
 

answers/e03_cell4x4.py

@@ -4,7 +4,7 @@
 
 from amaranth import Signal, Module, Elaboratable
 from amaranth.build import Platform
-from amaranth.asserts import Assume, Assert, Cover
+from amaranth.hdl import Assume, Assert, Cover
 
 from e03_cell3x3 import Cell3x3
 from util import main

answers/e04_negate.py

@@ -4,7 +4,7 @@
 
 from amaranth import Signal, Module, Elaboratable
 from amaranth.build import Platform
-from amaranth.asserts import Assume, Assert, Cover
+from amaranth.hdl import Assume, Assert, Cover
 from amaranth.lib.coding import PriorityEncoder
 
 from util import main

answers/e04_signed_compare.py

@@ -4,7 +4,7 @@
 
 from amaranth import Signal, Module, Elaboratable
 from amaranth.build import Platform
-from amaranth.asserts import Assume, Assert, Cover
+from amaranth.hdl import Assume, Assert, Cover
 from amaranth.lib.coding import PriorityEncoder
 
 from util import main

answers/e05_counter.py

@@ -4,7 +4,7 @@
 
 from amaranth import Signal, Module, Elaboratable
 from amaranth.build import Platform
-from amaranth.asserts import Assume, Assert, Cover
+from amaranth.hdl import Assume, Assert, Cover
 
 from util import main
 

answers/e06_counter.py

@@ -4,7 +4,8 @@
 
 from amaranth import Signal, Module, Elaboratable, ClockSignal, ResetSignal, ClockDomain
 from amaranth.build import Platform
-from amaranth.asserts import Assume, Assert, Cover, Past, Initial, Rose
+from amaranth.asserts import Past, Initial, Rose
+from amaranth.hdl import Assume, Assert, Cover
 
 from util import main
 

answers/e07_counter.py

@@ -4,7 +4,8 @@
 
 from amaranth import Signal, Module, Elaboratable, ClockSignal, ResetSignal, ClockDomain
 from amaranth.build import Platform
-from amaranth.asserts import Assume, Assert, Cover, Past, Initial, Rose
+from amaranth.asserts import Past, Initial, Rose
+from amaranth.hdl import Assume, Assert, Cover
 
 from util import main