Readon

[Bug]: Scala[Metals] would report "failed to connect with build server."

14

### Is there an existing issue for this? - [X] I have searched the existing issues ### OS/Web Information - Web Browser: Edge - Local OS: Windows 10 - Remote...

how to use it？

9

i have downloaded the source code from github. but have no idea how to try it？ it there any tutorial？

When doing prove, it's necessary to sync the counter value of two interface checker. However, the existing withTimeOutAsserts below could not provide access to the counter. ``` scala def withTimeoutAsserts(maxStallCycles...

Logic to generating pastValid would cause error when prove.

2

The generated code for pastValid in SpinalHDL now is ``` verilog always @(posedge clk or posedge reset) begin if(reset) begin formal_with_past

Recompilation of LimitedCounterIncFormal would cause an infinite compiling.

3

When I recompile by ``` shell sbt "tester/runMain spinal.tester.code.LimitedCounterIncFormal" ``` without clean on Windows. The sbt would stuck into infinite loop of displaying "[info] Compiling 2 Scala sources to xxxxxx\SpinalHDL\tester\target\scala-2.11\classes...

If the support of falling edges' actions during simulation have critical shortage?

2

There are cases where there are two separately monitored streams whose payloads are functionally coupled and must be checked during simulation, such as the address and data of some buses...

the deeplabv3 plus model could not be trained.

2

When I tried to train the deeplabv3 model by: python train.py --model deeplabv3_plus --backbone resnet50 --dataset ade20k --lr 0.0001 --epochs 50 it reports that: model = Xception65(**kwargs) TypeError: __init__() got...

Is that possible to render the output waveform of simulation on jupyter notebooks?

2

It would be useful to draw the simulated waveform on jupyter and analysis the result. The easiest way is to enable the capability of render vcd file on jupyter. Might...

I use bd file, with several custom IPs, as top level of a Vivado project. I created cores for each IP as well as the top level. However, it will...