Denali is an independent company, which has its own software (not Verilog or VHDL), that uses a proprietary file format called SOMA (Specification Of Memory Architecture). The format is then used for describing the timing and functional characteristics of semiconductor memory devices from various vendors. They are typically employed by system designers. None of our products have Denali models (unless some customer paid Denali to get them created).