pub struct TristateBuffer<D: Synth> {
    pub bus: Signal<InOut, D>,
    pub write_enable: Signal<In, Bit>,
    pub write_data: Signal<In, D>,
    pub read_data: Signal<Out, D>,
}
Expand description

Tristate Buffer

Most FPGAs do not support internal tristate logic. Instead, the compilers turn tristate logic into a combination of a pair of signals (one in, one out) and an enable line. However, the real world definitely needs tristate logic, and there are usually dedicated buffers on the FPGA that can drive a tristate line using a pin that is appropriately configured.

Most FPGA toolchains can infer the tristate buffer when it’s at the edge of the design. So when you need a tristate buffer, you can use this struct. Note that it is generic over the signals being tristated. So you can include a set of different tristate buffers with a single entity.


// An example of a simple tristate 8-bit bus
#[derive(LogicInterface, Default)]
struct EightBitBus {
   bus: Signal<InOut, Bits<8>>,
}

Fields§

§bus: Signal<InOut, D>

The tristated signals come out of this pin. This should be a top level signal in your design.

§write_enable: Signal<In, Bit>

When asserted (true), the bus will attempt to drive write_data to the pins.

§write_data: Signal<In, D>

The data to write to the bus. Ignored when write_enable is not active (high).

§read_data: Signal<Out, D>

The read back from the bus. When write_enable is false, then this signal represents the external signals driving the FPGA pins. For FPGA, this is likely equal to write_data when write_enable is true.

Trait Implementations§

source§

impl<D: Synth> Block for TristateBuffer<D>

source§

fn connect_all(&mut self)

Connects the internal signals of the circuit - used to initialize the circuit
source§

fn update_all(&mut self)

Propogate changes from inputs to outputs within the circuit
source§

fn has_changed(&self) -> bool

Returns true if anything in the circuit has changed (outputs or internal state)
source§

fn accept(&self, name: &str, probe: &mut dyn Probe)

The visitor pattern - allows a circuit to be probed by a Probe struct.
source§

impl<D: Default + Synth> Default for TristateBuffer<D>

source§

fn default() -> TristateBuffer<D>

Returns the “default value” for a type. Read more
source§

impl<D: Synth> Logic for TristateBuffer<D>

source§

fn update(&mut self)

source§

fn connect(&mut self)

source§

fn hdl(&self) -> Verilog

source§

fn timing(&self) -> Vec<TimingInfo, Global>

Auto Trait Implementations§

§

impl<D> RefUnwindSafe for TristateBuffer<D>where D: RefUnwindSafe,

§

impl<D> Send for TristateBuffer<D>where D: Send,

§

impl<D> Sync for TristateBuffer<D>where D: Sync,

§

impl<D> Unpin for TristateBuffer<D>where D: Unpin,

§

impl<D> UnwindSafe for TristateBuffer<D>where D: UnwindSafe,

Blanket Implementations§

source§

impl<T> Any for Twhere T: 'static + ?Sized,

source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
source§

impl<T> Borrow<T> for Twhere T: ?Sized,

source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
source§

impl<T> BorrowMut<T> for Twhere T: ?Sized,

source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
source§

impl<T> From<T> for T

source§

fn from(t: T) -> T

Returns the argument unchanged.

source§

impl<T, U> Into<U> for Twhere U: From<T>,

source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

§

impl<T> Pointable for T

§

const ALIGN: usize = mem::align_of::<T>()

The alignment of pointer.
§

type Init = T

The type for initializers.
§

unsafe fn init(init: <T as Pointable>::Init) -> usize

Initializes a with the given initializer. Read more
§

unsafe fn deref<'a>(ptr: usize) -> &'a T

Dereferences the given pointer. Read more
§

unsafe fn deref_mut<'a>(ptr: usize) -> &'a mut T

Mutably dereferences the given pointer. Read more
§

unsafe fn drop(ptr: usize)

Drops the object pointed to by the given pointer. Read more
source§

impl<T, U> TryFrom<U> for Twhere U: Into<T>,

§

type Error = Infallible

The type returned in the event of a conversion error.
source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
source§

impl<T, U> TryInto<U> for Twhere U: TryFrom<T>,

§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.