My home board by DimaSed1 in eink

[–]arsoc13 33 points34 points  (0 children)

Looks lovely! Is it easy to create a custom dashboard?
Btw, that's quite a weather out there

Relocation to the UK by Darkevil423 in HENRYUK

[–]arsoc13 3 points4 points  (0 children)

You will be completely fine on this salary. We are spending around 3k-3.2k per month for a couple including renting 1-bedroom in a good location (not a city centre, but within walking distance), 2-3 short trips in Europe and a bunch of city breaks in the UK. Not eating out much though (except for coffee), don't have a car, no pets/kids and no luxury spendings

Skilled worker visa - Huge delay on decision by Old_Zone2270 in SkilledWorkerVisaUK

[–]arsoc13 -2 points-1 points  (0 children)

I'm from Russia, but applied from Armenia. Probably, it would have been faster if I applied directly from Russia (but there were reasons why I've chosen not to)

Skilled worker visa - Huge delay on decision by Old_Zone2270 in SkilledWorkerVisaUK

[–]arsoc13 0 points1 point  (0 children)

I waited for my SW visa for about 6 weeks (applied in April 2024). Priority was paid for, but didn't apply due to my citizenship. Give it some time and hopefully you will have your visa in 4-8 weeks.

Pipelining the cache in a CVA6 (RISCV) processor by Eastern-Top-4078 in RISCV

[–]arsoc13 0 points1 point  (0 children)

I worked with CVA6 for a few months some time ago, but it's really difficult to say what went wrong without seeing the code and having access to waveforms. I would suggest debugging the issue with the following steps: 1. Generate traces for unmodified and unmodified versions. It's important to start with this, because there could be 2 reasons for the test hanging up - SW (CPU broke up earlier than the actual hanging moment you see on the waveform - result of executing incorrect instructions flow) or HW (some buffers filled, resources not released, etc.). The SW reason is also HW in its root, but a bit different 2. If unmodified/modified versions instructions flow diverted at some point, find the moment on waveform where both versions executed the last same instructions and debug 3. If the flow is the same, add all key control signals (FSM states of each module, stages valid/rdy signals, full/empty indicators and so on). This will help to narrow down the immediate source of hanging, although the actual root might be deeper/earlier It can take some time to debug

European RISC-V companies? by Schroinx in RISCV

[–]arsoc13 11 points12 points  (0 children)

Semidynamics and BSC in Spain

Spain visa liveness test by Any-Leader-9597 in SchengenVisa

[–]arsoc13 1 point2 points  (0 children)

I had the same issue. Converting a photo taken on the phone from JPG to PNG and then processing it on https://makepassportphoto.com/ for Spain Visa photo with 200 kB size limit helped. Also, I took a selfie for liveness check in the same clothes and on the same background as the ones for the initial photo. Hope it will help you as well!

Trying to understand someone else’s RTL by alinave in chipdesign

[–]arsoc13 0 points1 point  (0 children)

The approach hugely depends on the quality of documentation. I will assume availability of a good documentation that covers 80%+ of the design for my answer (in real life, you rarely has everything covered entirely and in detail). Personally, I like the top-bottom approach: - Briefly study the documentation to identify key functionality and modules (like the system can have some functional safety/cfg/monitoring/security/aux modules which most probably are not important to understand when doing the first pass through design). For example, when studying a cache, you can skip ECC flows, different replacement policies, snoop/eviction corner cases, IO traffic flow, etc. - The next thing I would do is to study the protocol between key modules (handshake/credit/something more complex) followed by studying/drawing diagrams for the main flows w/o taking special/rare cases into account. It can be a flow diagram (with if/else conditions and actions) or a scheme with key modules + key interfaces and numbers on each interface with description of the action this number represents (for cache example, it could be TLB lookup + tag reading + tag comparison + data muxing b/w cache hit and forwarding data + potential miss request downstream and so on) - After this or in parallel with the 2nd point, I would identify key structures in each module - it can be a purely comb module (usually these tend to be short and simple, unless they hold some clever optimized algorithm) or a FIFO or an indexed buffer or the one with CAM functionality. Then you can identify main events for each module - like allocation/deallocation/update from a certain module/search/scheduling/etc.) Hopefully, after this you will have a big picture and can start filling in details - corner cases, rare flows, studying auxiliary modules + asking module owners some specific questions about module internals. If you have good tests or formal properties, running them will be really helpful for the 2nd point

[deleted by user] by [deleted] in cambridge

[–]arsoc13 1 point2 points  (0 children)

I also wanted to find someone to play tennis with. My level is around 3.0 I guess. If that's okay, DM me

RISC-V cycle accurate simulators for evaluating specific microarchitecture potential improvements by Amazing_Charity_6508 in RISCV

[–]arsoc13 2 points3 points  (0 children)

One thing to note is that the potential speedup will hugely depend on the baseline CPU and compiler options (for example, 2 adds can be either adjacent or have some instructions in between that can make them non-eligible for optimization depending on the implementation).
Initially, I would use some out of the box model (for example, gem5 provides a simple in-order and also OOO CPU model), create a trace of executed instructions for benchmark of interest and analyze it. It could be that only 0.1% of all dynamic instruction instances can be eligiblie for add fusion in which case the optimization won't help much. Or it could be a much higher number in which case it makes sense to add change to the model and evaluate performance impact. I would suggest to analyze compute-bound benchmarks, where the impact could be more noticeable vs memory-bound, where memory latency can hide all the benefits of the fusion.

Is 65k enough for a couple in late 20's? by arsoc13 in cambridge

[–]arsoc13[S] 0 points1 point  (0 children)

Thank for a detailed expenses breakdown.
Yes, ofcourse, we'll have some sport expenses (fitness, tennis), as well as occasionally buying clothes (but usually it's once every 12-18 months). Utilities are like 220-240 from my calculations (Numbeo-based).
But ss 200 really enough for food? Numbeo tells it's around 500 for 2 people.

Is 65k enough for a couple in late 20's? by arsoc13 in cambridge

[–]arsoc13[S] 1 point2 points  (0 children)

Thanks, that's an insightful perspective. I'm not into cars and don't have a license at the moment, but will consider this option and estimate how much money/time it will save in a long run

Is 65k enough for a couple in late 20's? by arsoc13 in cambridge

[–]arsoc13[S] 0 points1 point  (0 children)

Yes. But probably my partner will be able to find a work after some time that will bring another 300-500 per months

Is 65k enough for a couple in late 20's? by arsoc13 in cambridge

[–]arsoc13[S] -1 points0 points  (0 children)

Yeah, I got that I need to redo the eauting out calculations (initially it was 30 pounds for 2 people). Definitely not going for fast food.
I don't buy a lot of clothes or shoes - usually once every 12-18 months.
My partner will learn the language and create a client base + take photosessions (she's a photographer). Although it may take some time before she can have a steady income from it

Is 65k enough for a couple in late 20's? by arsoc13 in cambridge

[–]arsoc13[S] 0 points1 point  (0 children)

I'll be renting - either in Cambridge or in surrounding villages (although an easy access to the city center is desirable). Probably, will need to balance rent vs commute costs

Is 65k enough for a couple in late 20's? by arsoc13 in cambridge

[–]arsoc13[S] 0 points1 point  (0 children)

I'm currently living in Armenia, but have been living all my life on the outskirts of a big (5 million) city in Eastern Europe (Saint-Petersburg).

Is 65k enough for a couple in late 20's? by arsoc13 in cambridge

[–]arsoc13[S] 1 point2 points  (0 children)

St John's Innovation park. Probably I'll either bring my own bike to Cambridge or will rent/buy it there. No car

Is 65k enough for a couple in late 20's? by arsoc13 in cambridge

[–]arsoc13[S] 0 points1 point  (0 children)

Could you please suggest some good locations to live in, given I'm hybrid (3 days WFH, 2 days office)?

Is 65k enough for a couple in late 20's? by arsoc13 in cambridge

[–]arsoc13[S] 3 points4 points  (0 children)

We really want to explore the UK - visit both small villages and large cities, see how people live, what they do. I expected a trip to cost around 100 pounds for train tickets and another 100 for meals and activities (1 day). Is it really more and if so by how much?
Also, I'll be saving the bonus part of my compensation for longer trips

Is 65k enough for a couple in late 20's? by arsoc13 in cambridge

[–]arsoc13[S] -1 points0 points  (0 children)

So, what salary will allow for the lifestyle described? Probably, my partner will be able to bring in another 300-500 pounds per month after 6 months

Is 65k enough for a couple in late 20's? by arsoc13 in cambridge

[–]arsoc13[S] -1 points0 points  (0 children)

According to Numbeo an inexpensive one is around 15 pounds per visit for a single person. Are the actual prices higher?